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

[Paul F. Dietz]

 (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)]

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)]

23fd2213879a5d780b25e400eb08570c25ec7bef