NIL not of type VALUES-TYPE (IR1)

[Paul F. Dietz]

Found over the weekend with the random tester. This bug still occurs in current snapshot.

(compile nil
         '(lambda (a b)
           (declare (notinline min ash conjugate oddp >=))
           (declare (optimize (debug 3) (compilation-speed 0) (safety 1) (space 3) (speed 0)))
           (if (and (or t (>= a)) (oddp 0))
               (prog2 0
                   0
                 (labels ((%f18 (f18-1 f18-2 f18-3 &key)
                            6965670824543402))
                   (%f18 a 0 b))
                 )
               (conjugate
                (dotimes (iv4 0 0)
                  (catch 'ct7
                    (ash
                     (the integer
                       (ignore-errors
                         (ignore-errors (throw 'ct7 -20372435344354))))
                     (min 12 a))))))))

The value
  #<SB-KERNEL:NAMED-TYPE NIL>
is not of type
  SB-KERNEL:VALUES-TYPE
   [Condition of type TYPE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-C::CAST-CHECK-TYPES #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {100423FE23}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE INTEGER> :TYPE-TO-CHECK #1# :VESTIGIAL-EXIT-LEXENV NIL :VESTIGIAL-..
  1: (SB-C::GENERATE-TYPE-CHECKS #<SB-C:COMPONENT :NAME (LABELS %F18) :REANALYZE T {100420A6E3}>)
  2: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LABELS %F18) :REANALYZE T {100420A6E3}>)
  3: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LABELS %F18) :REANALYZE T {100420A6E3}>)
  4: (SB-C::%COMPILE (LAMBDA (A B) (DECLARE (NOTINLINE MIN ASH CONJUGATE ODDP >=)) (DECLARE (OPTIMIZE # # # # #)) (IF (AND # #) (PROG2 0 0 #) (CONJUGATE #))) #<SB-C::CORE-OBJECT {10041D3E53}> :NAME NIL :PA..

[Stas Boukarev (stassats)]

In afc9e273e5fb0a5914d2f769823de22d42f2eb6a.