Type error in SB-C::INTEGER-TYPE-NUMERIC-BOUNDS
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Medium
|
Unassigned |
Bug Description
In SBCL 1.1.9 (x86-64), compilation of this function aborts:
(defun test-20130708-1 (b)
(declare (type (integer -1225923945345 -832450738898) b))
(declare (optimize (speed 3) (space 3) (safety 2) (debug 0) (compilation-speed 1)))
(loop for lv1 below 3
sum (logorc2
(if (>= 0 lv1)
(ash b (min 25 lv1))
0)
-2)))
==>
The value NIL is not of type REAL.
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-
0: [RETRY ] Retry EVAL of current toplevel form.
1: [CONTINUE] Ignore error and continue loading file "/home/
2: [ABORT ] Abort loading file "/home/
3: Exit debugger, returning to top level.
(SB-C::
This was found by the usual random testing.
Changed in sbcl: | |
status: | New → Confirmed |
importance: | Undecided → Medium |
assignee: | nobody → Paul Khuong (pvk) |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
Fixed in 220651c (Handle unbounded integer types in INTEGER- TYPE-NUMERIC- BOUNDS) .
Thank you for running the random tester; I'm hoping not to hear from it again on modular arithmetic issues ;)