Incorrect value computed in code with IF, LOGAND, LOGXOR, *, ELT

[Paul F. Dietz]

(defparameter *f365*
  '(if (not
        (or c
         (if t
             nil
             t)))
    (logand (elt '(14089144940) (min 0 (max 0 0)))
     (logxor
      (* 5
         (if c
             0
             1152921504606846975))
      -264592622 -16 -928 -2270558))
    0))

(defun f365 ()
  (let* ((form *f365*)
         (vars '(c))
         (vals '(nil))
         (opt-decls
          '((declare (optimize (safety 3)))))
         (unopt-decls
          '((declare (notinline * logxor max min elt logand not))))
         (opt-lam
          `(lambda ,vars ,@opt-decls ,form))
         (unopt-lam
          `(lambda ,vars ,@unopt-decls ,form)))
    (values
     (apply (compile nil opt-lam) vals)
     (apply (compile nil unopt-lam) vals))))

(f365) ==> 0, 13958643784

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

This bug occurs in 1.4.7, so it's not very recent.

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

This occurs in 1.4.2, but not 1.4.1.

[Stas Boukarev (stassats)]

5c78c2ca33f821c54527e032ae68eddeaeae23aa