debugger can't see locals in caller when AREF errors

Bug #1412881 reported by 3b
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Low
Unassigned

Bug Description

(defun foo (x z)
  (declare (optimize (debug 3)))
  (let ((y (list 1 1)))
    (break "x" y)
    (aref x z)
    (print (/ 1 z))))

(foo #(1) 1)
(foo #(1) 0)

in both cases, L in debugger from BREAK shows
X = #(1)
Y = (1 1)
Z = 0

after continuing from break in first form, AREF errors with SB-INT:INVALID-ARRAY-INDEX-ERROR, and after 'fra 1' shows L
X = #(1)
Z = 1

after continuing from break in second form, / errors withDIVISION-BY-ZERO , and after 'fra 1' shows L
X = #(1)
Y = (1 1)
Z = 0

with AREF declared NOTINLINE, the debugger shows Y as expected in caller frame

tested on 1.2.7.54-d34f08f-dirty arm/linux, 1.2.4.80-844efff x8664 linux, and 1.2.7.70-e772905 x8664 linux

Tags: debugger
Revision history for this message
Stas Boukarev (stassats) wrote :

That doesn't happen with debug 2.

Changed in sbcl:
status: New → Confirmed
importance: Undecided → Low
status: Confirmed → Triaged
Revision history for this message
Stas Boukarev (stassats) wrote :

In 05845e173791a73c692e4a5d27d361a331e11859

Changed in sbcl:
status: Triaged → Fix Committed
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.