[Gcl-devel] (random tester) Bug with compilation of MOD (and MIN?)

[Paul F. Dietz]

The random tester is running much longer on gcl now before
finding a bug.  This bug came up in a run of 50,000 tests.
The forms have been minimized.

------

;;; gclbug5.lsp

(print
 (funcall (compile nil '(lambda (b c)
                          (declare (type (integer -63 741532) b))
                          (declare (type (integer -10700947 0) c))
                          (declare (optimize (safety 1)))
                          (mod (min c b) (min -82 -163))))
          14479 -2562931))

;;; ==> -2562931

(print (funcall #'(lambda (b c)
                    (mod (min c b) (min -82 -163)))
                14479 -2562931))

;;; ==> -82


------

        Paul