Amother: failed AVER: (NOT (EQ SB-KERNEL:CTYPE SB-KERNEL:*WILD-TYPE*))

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

Bug Description

(lambda (a)
  (declare (type (integer 7693489 168349189459797431) a))
  (declare (optimize (speed 3)))
  (max
   (floor a
          (min -14
               (loop for lv3 below 3
                     sum (mod 77196223293181
                              (max 75 (mod a (min -57 lv3)))))))))

==>

failed AVER: (NOT (EQ SB-KERNEL:CTYPE SB-KERNEL:*WILD-TYPE*))
[...]
Backtrace:
  0: (SB-C::CAST-CHECK-TYPES #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1054A55C73}> :ASSERTED-TYPE #<SB-KERNEL:NUMERIC-TYPE (MOD 14)> :TYPE-TO-CHECK #<SB-KERNEL:NAMED-TYPE *> {1054A64103}>)
  1: (SB-C::GENERATE-TYPE-CHECKS #<SB-C:COMPONENT :NAME (LAMBDA (A)) {10549CAB93}>)
  2: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LAMBDA (A)) {10549CAB93}>)
  3: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (A)) {10549CAB93}>)
 [...]

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

Other bug subscribers