The value NIL is not of type SB-C::IR2-LVAR
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
On same snapshot build as previous bug. From random testing.
(defun foo (a)
(dotimes (iv2 2 a)
(logand
(flet ((%f17 (f17-1 f17-2)
(apply #'%f17 (list (%f17 0 0) 0))
)))))
The value
NIL
is not of type
SB-C::IR2-LVAR
[Condition of type TYPE-ERROR]
Restarts:
0: [ABORT] Exit debugger, returning to top level.
Backtrace:
0: (SB-C::
1: (SB-C::
2: (SB-C::
3: (SB-C::
4: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME (SB-C::XEP (FLET %F17 :IN FOO)) {10056B5423}>)
5: (SB-C::
6: (SB-C::
7: (SB-C::%COMPILE (SB-INT:
8: ((FLET "WITHOUT-
9: (SB-THREAD:
10: ((LAMBDA NIL :IN SB-C::ACTUALLY-
11: ((FLET SB-C::WITH-IT :IN SB-C::%
12: (SB-C::
[...]
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
I'll add that a bug something like this came up before, "in the wild" (search for IR2-LVAR in bugs).