variables not shown in single stepping

Bug #1739062 reported by Denis Budyak
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
New
Undecided
Unassigned

Bug Description

SBCL 1.4.2 on Debian 3.16.39-1/Amd64 or SBCL 1.3.18 at Win10/Amd64 have the following issue:

;; file variables-not-shown-in-single-stepping.lisp

(declaim (optimize (speed 0) (debug 3) (safety 3) (space 0) (compilation-speed 0)))

(defun gg (y) y)

(defun ff (x)
  (let ((y (+ x 1))
        (z (- x 1)))
    ;(sb-impl::enable-stepping) ;; the same, but faster
    (break)
    (list
     (gg y)
     (+ z y)
     )))
;; EOF

The following is a procedure to reproduce:
* *features*
(:64-BIT :64-BIT-REGISTERS :ALIEN-CALLBACKS :ANSI-CL :ASH-RIGHT-VOPS
 :C-STACK-IS-CONTROL-STACK :COMMON-LISP :COMPACT-INSTANCE-HEADER
 :COMPARE-AND-SWAP-VOPS :COMPLEX-FLOAT-VOPS :CYCLE-COUNTER :ELF :FLOAT-EQL-VOPS
 :FP-AND-PC-STANDARD-SAVE :GENCGC :IEEE-FLOATING-POINT :IMMOBILE-CODE
 :IMMOBILE-SPACE :INLINE-CONSTANTS :INTEGER-EQL-VOP :LARGEFILE :LINKAGE-TABLE
 :LINUX :LITTLE-ENDIAN :MEMORY-BARRIER-VOPS :MULTIPLY-HIGH-VOPS
 :OS-PROVIDES-BLKSIZE-T :OS-PROVIDES-DLADDR :OS-PROVIDES-DLOPEN
 :OS-PROVIDES-GETPROTOBY-R :OS-PROVIDES-POLL :OS-PROVIDES-PUTWC
 :OS-PROVIDES-SUSECONDS-T :PACKAGE-LOCAL-NICKNAMES :PRECISE-ARG-COUNT-ERROR
 :RAW-INSTANCE-INIT-VOPS :RAW-SIGNED-WORD :RELOCATABLE-HEAP :SB-AFTER-XC-CORE
 :SB-DOC :SB-EVAL :SB-FLUID :SB-FUTEX :SB-LDB :SB-PACKAGE-LOCKS :SB-SIMD-PACK
 :SB-SOURCE-LOCATIONS :SB-THREAD :SB-UNICODE :SB-XREF-FOR-INTERNALS :SBCL
 :STACK-ALLOCATABLE-CLOSURES :STACK-ALLOCATABLE-FIXED-OBJECTS
 :STACK-ALLOCATABLE-LISTS :STACK-ALLOCATABLE-VECTORS
 :STACK-GROWS-DOWNWARD-NOT-UPWARD :SYMBOL-INFO-VOPS :UNBIND-N-VOP
 :UNDEFINED-FUN-RESTARTS :UNIX :UNWIND-TO-FRAME-AND-CALL-VOP :X86-64)

* (load (compile-file "variables-not-shown-in-single-stepping.lisp"))
* (ff 5)

debugger invoked on a SIMPLE-CONDITION in thread
#<THREAD "main thread" RUNNING {1001E500C3}>:
  break

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [CONTINUE] Return from BREAK.
  1: [ABORT ] Exit debugger, returning to top level.

(FF 5)
   source: (BREAK)
0] start
; Evaluating call:
; (GG Y)
; With arguments:
; 6

1] l
X = 5
Y = 6
Z = 4

1] next
; Evaluating call:
; (+ Z Y)
; With unknown arguments

0] l
X = 5

That is the issue: Y and Z are not shown.

Revision history for this message
Denis Budyak (budden73) wrote :

It might be another bug than #1274103. If we place (break) near the same place, all variables are shown.

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.