SBCL

Incorrect value computed w. REM, RETURN-FROM, integer type decl

Bug #1944203 reported by Paul F. Dietz on 2021-09-20

This bug affects 1 person

Affects		Status	Importance	Assigned to	Milestone
	SBCL	Fix Released	Undecided	Unassigned

Bug Description

(defun bug059 (a)
  (declare (type (integer -1000 *) a))
  (rem (multiple-value-prog1 a a)
       (max 82
            (if (> 0 a)
                (return-from bug059 :good)
                70368744177664))))

(bug059 -1) ==> 70368744177663

See original description

Paul F. Dietz (paul-f-dietz) on 2021-09-20

description:

updated

Revision history for this message

Paul F. Dietz (paul-f-dietz) wrote on 2021-09-22:

This appears to have been fixed.

Stas Boukarev (stassats) on 2021-09-22

Changed in sbcl:
status:	New → Fix Committed

Stas Boukarev (stassats) on 2021-09-27

Changed in sbcl:
status:	Fix Committed → Fix Released

Report a bug

This report contains Public information

Everyone can see this information.

You are

Subscribing...

Edit bug mail

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.