Type error in SB-C::INTEGER-TYPE-NUMERIC-BOUNDS

[Paul F. Dietz]

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-abbreviated name):
  0: [RETRY ] Retry EVAL of current toplevel form.
  1: [CONTINUE] Ignore error and continue loading file "/home/dietz/t2.lsp".
  2: [ABORT ] Abort loading file "/home/dietz/t2.lsp".
  3: Exit debugger, returning to top level.

(SB-C::INTEGER-TYPE-NUMERIC-BOUNDS #<SB-KERNEL:UNION-TYPE (OR (INTEGER 1 1) (INTEGER * -1))>)

This was found by the usual random testing.

[Paul Khuong (pvk)]

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