Incorrect result from integer code with MAX, type decls

[Paul F. Dietz]

(defun bug234 ()
  (let* ((vals '(-14611266490586102582 94
                 5164423910675051733))
         (form '(max
                 5164423910675051733
                 (logeqv b d)
                 (+ d d -1 8388603 -7 a 29 d b)))
         (lam1
           `(lambda (a b d)
              (declare (type (integer 14 101) b))
              (declare (type (signed-byte 64) d))
              ,form))
         (lam2
           `(lambda (a b d)
              ,form)))
    (values (apply (compile nil lam1) vals)
            (apply (compile nil lam2) vals))))

(bug234) ==> 882005241447441335, 5164423910675051733

x86-64, "2.3.8.142-11db25613"

[Stas Boukarev (stassats)]

Can't reproduce for some reason.

[Paul F. Dietz (paul-f-dietz)]

Weird. It also doesn't reproduce in a fresh image. So something must have gone wrong behind the scenes, in something persistent? Is there caching of information, say related to types?