| 2017-12-21 17:55:59 |
Paul F. Dietz |
bug |
|
|
added bug |
| 2017-12-21 18:01:55 |
Paul F. Dietz |
description |
(declaim (special *s*))
(defun f57 ()
(let ((v (list (list :good)
(progv '(*s*) (list :bad) *s*))))
(declare (dynamic-extent v))
(caar v)))
(f57) ==> :BAD |
(declaim (special *s*))
(defun f57 ()
(let ((v (list (list :good)
(progv '(*s*) (list :bad) *s*))))
(declare (dynamic-extent v))
(caar v)))
(f57) ==> :BAD |
|
| 2017-12-21 18:02:21 |
Paul F. Dietz |
description |
(declaim (special *s*))
(defun f57 ()
(let ((v (list (list :good)
(progv '(*s*) (list :bad) *s*))))
(declare (dynamic-extent v))
(caar v)))
(f57) ==> :BAD |
(declaim (special *s*))
(defun f57 ()
(let ((v (list (list :good)
(progv '(*s*) (list :bad) *s*))))
(declare (dynamic-extent v))
(caar v)))
(f57) ==> :BAD |
|
| 2017-12-21 19:38:08 |
Paul F. Dietz |
description |
(declaim (special *s*))
(defun f57 ()
(let ((v (list (list :good)
(progv '(*s*) (list :bad) *s*))))
(declare (dynamic-extent v))
(caar v)))
(f57) ==> :BAD |
(declaim (special *s*))
(defun f57 ()
(let ((v (list (list :good)
(progv '(*s*) (list :bad) *s*))))
(declare (dynamic-extent v))
(caar v)))
(f57) ==> :BAD
This occurs wih high probability in a new dynamic-extent random tester I wrote. Some of the failures cause memory faults instead of wrong results. |
|
| 2017-12-24 16:00:13 |
Alastair Bridgewater |
tags |
|
dynamic-extent stack-analysis |
|
| 2017-12-24 16:00:23 |
Alastair Bridgewater |
sbcl: assignee |
|
Alastair Bridgewater (alastair-bridgewater) |
|
| 2017-12-24 16:00:27 |
Alastair Bridgewater |
sbcl: status |
New |
In Progress |
|
| 2017-12-24 16:00:31 |
Alastair Bridgewater |
sbcl: importance |
Undecided |
High |
|
| 2018-12-20 01:43:45 |
Stas Boukarev |
sbcl: assignee |
Alastair Bridgewater (alastair-bridgewater) |
|
|
| 2018-12-20 01:43:48 |
Stas Boukarev |
sbcl: status |
In Progress |
Fix Committed |
|
| 2018-12-30 14:09:20 |
Christophe Rhodes |
sbcl: status |
Fix Committed |
Fix Released |
|
