Loop in compiler in SB-C::ARRAY-TYPE-UPGRADED-ELEMENT-TYPE
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(lambda (p1 p2 p3 p4 p6)
(declare (optimize (speed 2) (debug 1))
(type (satisfies eval) p2)
(type (member :from-end 2) p3))
(position p1
(the (member #(10 20) 3) p2)
(the (member 1 :from-end) p3)
(the null p4)
p6))
==> compiler loops; interrupt gives:
Interactive interrupt at #x21C531B4.
[Condition of type SB-SYS:
Restarts:
0: [CONTINUE] Return from SB-UNIX:SIGINT.
1: [ABORT] Exit debugger, returning to top level.
Backtrace:
0: (SB-KERNEL:
1: (SB-C::
2: (SB-C::
3: (SB-C::
4: (SB-C::
5: ((FLET SB-C::PROCESS-INFO :IN SB-C::IR1-
6: (SB-C::
7: (SB-C::
8: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (LAMBDA (P1 P2 P3 P4 P6)) :REANALYZE T {100D526923}> NIL)
9: (SB-C::
10: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LAMBDA (P1 P2 P3 P4 P6)) :REANALYZE T {100D526923}>)
11: (SB-C::
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
8f2701ce6670ad2 59425a6d454a39a 0c91475296