Another stack analysis bug
Bug #1739495 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
High
|
Unassigned |
Bug Description
(defun f55 ()
(declare (notinline +))
(catch
(+
(apply #'+
(let ((*s* nil)) (declare (special *s*)) 1)
(max (+ 0) 2)
(list 3)
))
:done))
==>
failed AVER: (SUBSETP SB-C::END SB-C::END-STACK)
[...]
0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (SUBSETP SB-C::END SB-C::END-STACK))
1: (SB-IMPL:
2: (SB-C::
[...]
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
(defun f55 (z)
(catch (apply #'+ 1 z)
:done))