failed AVER: (SB-INT:SINGLETON-P SB-C::SUCC)

Bug #1737049 reported by Paul F. Dietz on 2017-12-07
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

 (loop for lv1 below 2 count
     (find (min lv1 lv1 lv1 lv1 lv1 lv1 lv1 lv1 lv1 lv1) '(1)))

==>

failed AVER: (SB-INT:SINGLETON-P SB-C::SUCC)
[...]
Backtrace:
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (SB-INT:SINGLETON-P SB-C::SUCC))
  1: (SB-IMPL::%FAILED-AVER (SB-INT:SINGLETON-P SB-C::SUCC))
  2: (SB-C::FINISH-IR2-BLOCK #<SB-C::CBLOCK 14 :START c1 {1006684363}>)
  3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 14 :START c1 {1006684363}>)
  4: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME (LAMBDA NIL) :REANALYZE T {1006667693}>)
  5: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA NIL) :REANALYZE T {1006667693}>)

Paul F. Dietz (paul-f-dietz) wrote :

Also fails:

(loop for x below 2
   count (zerop (min x x x x x x x x x x)))

Changing the 2 to 1 or to 3 makes the failure go away, as does removing any of the 10 args to MIN.

Stas Boukarev (stassats) wrote :

23fd2213879a5d780b25e400eb08570c25ec7bef

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

Other bug subscribers