Incorrect value computed (from random tester)

Bug #2031573 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Unassigned

Bug Description

(defun f218 ()
  (bug218 0))

(defun fn218 () 0)
(declaim (notinline fn218))

(defun bug218 (b)
  (unless (position b #(3) :test '<)
    (let ((v9 (fn218)))
      (if (<= -3483114449144072959 v9)
          0
          (if (>= -3483114449144072959 v9)
              144115188075855870
              (labels ((%f14 (&key (key1 v9)) key1))
                (%f14)))))))

(f218) ==> 3 ; should be NIL

x86-64, "2.3.7.125-1490e5f4f"

Stas Boukarev (stassats)
Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats)
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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