Incorrect value with MULTIPLE-VALUE-BIND, IF

[Paul F. Dietz]

(defparameter *f358*
  '(let* ((v8 c) (v1 e))
      (multiple-value-bind (v9 v6 v5)
          (if (/= a c)
              (values v8 10983313414045189807 a)
              (values 0 c 0))
        (boole boole-orc1 (eval v6)
               (let ((*s9* (progv '(*s5*) (list 0) 0)))
                 0))
        v6)))

(defun f358 ()
  (let* ((vals '(0 571816791704489 1))
         (vars '(a c e))
         (opt-form
          `(lambda ,vars
             (declare (type (integer 546181490258163 937632934000433) c))
             (declare (ignorable a c e))
             ,*f358*))
         (unopt-form
          `(lambda ,vars
             ,*f358*)))
    (values
     (apply (compile nil opt-form) vals)
     (apply (compile nil unopt-form) vals))))

(f358) ==> 4611686018427387904, 10983313414045189807

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

In the above, *s9* and *s5* are declared special.

[Stas Boukarev (stassats)]

60ab0763b70b628b21e74d8c6a7e5b479fc61363