#2701 dwarf debugging: local variables has wrong scope

[akre]

It is nothing wrong with the code just that the debug info has wrongly defined scope for the variable y in the example.

In the example in function test1 when it is about to return (line 29) the value y has wrong value (52). It should be 11.

In the function test2 when it is about to return (line 15) the variable z should be "not in current context"

sdcc.exe -mstm8 test2.c --out-fmt-elf --debug

SDCC : hc08/stm8 3.6.9 # (CYGWIN)

[akre]

Seems the symbols does not have any block numbers attached.
This is what is in symbol given to dwWriteSymbol. Block is always 0...

$1 = {name = "y", '\000' <repeats 63 times>, rname = "_test2_y_1_2", '\000' <repeats 180 times>, level = 1, block = 0, seqPoint = 4, key = 2, flexArrayLength = 0, implicit = 0,
  undefined = 0, infertype = 0, _isparm = 0, ismyparm = 0, isitmp = 0, islbl = 0, isref = 1, isind = 0, isinvariant = 0, cdef = 0, addrtaken = 0, isreqv = 0, udChked = 0,
  generated = 0, isinscope = 0, isLiveFcall = 0, isspilt = 0, spillA = 0, remat = 0, isptr = 0, uptr = 0, isFree = 0, islocal = 1, blockSpil = 0, remainSpil = 0, stackSpil = 0,
  onStack = 1, iaccess = 0, ruonly = 0, spildir = 0, ptrreg = 0, noSpilLoc = 0, div_flag_safe = 0, isstrlit = 0, accuse = 0, dptr = 0, allocreq = 1, stack = -2, xstack = 0,
  nRegs = 0, regType = 0, regs = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, aop = 0x0, fuse = 0x0, rematiCode = 0x0, reqv = 0x6000d1110, prereqv = 0x0, psbase = 0x0, usl = {
    spillLoc = 0x0, itmpStack = 0x0}, bitVar = 0 '\000', bitUnnamed = 0 '\000', offset = 0, lineDef = 5, fileDef = 0x6000c7830 "test2.c", lastLine = 0, type = 0x6000c9820,
  etype = 0x6000c9820, next = 0x0, localof = 0x6000c80e0, ival = 0x0, defs = 0x6000d7680, uses = 0x6000d8970, regsUsed = 0x0, liveFrom = 0, liveTo = 0, used = 0, recvSize = 0,
  clashes = 0x0, funcTree = 0x0, addressmod = {0x0, 0x0}, for_newralloc = false}


$2 = {name = "z", '\000' <repeats 63 times>, rname = "_test2_z_2_3", '\000' <repeats 180 times>, level = 2, block = 0, seqPoint = 5, key = 6, flexArrayLength = 0, implicit = 0,
  undefined = 0, infertype = 0, _isparm = 0, ismyparm = 0, isitmp = 0, islbl = 0, isref = 1, isind = 0, isinvariant = 0, cdef = 0, addrtaken = 0, isreqv = 0, udChked = 0,
  generated = 0, isinscope = 0, isLiveFcall = 0, isspilt = 0, spillA = 0, remat = 0, isptr = 0, uptr = 0, isFree = 0, islocal = 1, blockSpil = 0, remainSpil = 0, stackSpil = 0,
  onStack = 1, iaccess = 0, ruonly = 0, spildir = 0, ptrreg = 0, noSpilLoc = 0, div_flag_safe = 0, isstrlit = 0, accuse = 0, dptr = 0, allocreq = 0, stack = -4, xstack = 0,
  nRegs = 0, regType = 0, regs = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, aop = 0x0, fuse = 0x0, rematiCode = 0x0, reqv = 0x6000d1860, prereqv = 0x0, psbase = 0x0, usl = {
    spillLoc = 0x0, itmpStack = 0x0}, bitVar = 0 '\000', bitUnnamed = 0 '\000', offset = 0, lineDef = 7, fileDef = 0x6000c7830 "test2.c", lastLine = 0, type = 0x6000ca910,
  etype = 0x6000ca910, next = 0x0, localof = 0x6000c80e0, ival = 0x0, defs = 0x6000d7750, uses = 0x6000d7cf0, regsUsed = 0x0, liveFrom = 0, liveTo = 0, used = 0, recvSize = 0,
  clashes = 0x0, funcTree = 0x0, addressmod = {0x0, 0x0}, for_newralloc = false}

$3 = {name = "y", '\000' <repeats 63 times>, rname = "_test1_y_1_6", '\000' <repeats 180 times>, level = 1, block = 0, seqPoint = 14, key = 2, flexArrayLength = 0, implicit = 0,
  undefined = 0, infertype = 0, _isparm = 0, ismyparm = 0, isitmp = 0, islbl = 0, isref = 1, isind = 0, isinvariant = 0, cdef = 0, addrtaken = 0, isreqv = 0, udChked = 0,
  generated = 0, isinscope = 0, isLiveFcall = 0, isspilt = 0, spillA = 0, remat = 0, isptr = 0, uptr = 0, isFree = 0, islocal = 1, blockSpil = 0, remainSpil = 0, stackSpil = 0,
  onStack = 1, iaccess = 0, ruonly = 0, spildir = 0, ptrreg = 0, noSpilLoc = 0, div_flag_safe = 0, isstrlit = 0, accuse = 0, dptr = 0, allocreq = 1, stack = -2, xstack = 0,
  nRegs = 0, regType = 0, regs = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, aop = 0x0, fuse = 0x0, rematiCode = 0x0, reqv = 0x60013bad0, prereqv = 0x0, psbase = 0x0, usl = {
    spillLoc = 0x0, itmpStack = 0x0}, bitVar = 0 '\000', bitUnnamed = 0 '\000', offset = 0, lineDef = 19, fileDef = 0x6000c7830 "test2.c", lastLine = 0, type = 0x60012bd70,
  etype = 0x60012bd70, next = 0x0, localof = 0x60012afe0, ival = 0x0, defs = 0x600147f80, uses = 0x60014a980, regsUsed = 0x0, liveFrom = 0, liveTo = 0, used = 0, recvSize = 0,
  clashes = 0x0, funcTree = 0x0, addressmod = {0x0, 0x0}, for_newralloc = false}


$4 = {name = "y", '\000' <repeats 63 times>, rname = "_test1_y_2_7", '\000' <repeats 180 times>, level = 2, block = 0, seqPoint = 15, key = 6, flexArrayLength = 0, implicit = 0,
  undefined = 0, infertype = 0, _isparm = 0, ismyparm = 0, isitmp = 0, islbl = 0, isref = 1, isind = 0, isinvariant = 0, cdef = 0, addrtaken = 0, isreqv = 0, udChked = 0,
  generated = 0, isinscope = 0, isLiveFcall = 0, isspilt = 0, spillA = 0, remat = 0, isptr = 0, uptr = 0, isFree = 0, islocal = 1, blockSpil = 0, remainSpil = 0, stackSpil = 0,
  onStack = 1, iaccess = 0, ruonly = 0, spildir = 0, ptrreg = 0, noSpilLoc = 0, div_flag_safe = 0, isstrlit = 0, accuse = 0, dptr = 0, allocreq = 0, stack = -4, xstack = 0,
  nRegs = 0, regType = 0, regs = {0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, aop = 0x0, fuse = 0x0, rematiCode = 0x0, reqv = 0x60013c220, prereqv = 0x0, psbase = 0x0, usl = {
    spillLoc = 0x0, itmpStack = 0x0}, bitVar = 0 '\000', bitUnnamed = 0 '\000', offset = 0, lineDef = 21, fileDef = 0x6000c7830 "test2.c", lastLine = 0, type = 0x60012b7f0,
  etype = 0x60012b7f0, next = 0x0, localof = 0x60012afe0, ival = 0x0, defs = 0x600148050, uses = 0x6001485f0, regsUsed = 0x0, liveFrom = 0, liveTo = 0, used = 0, recvSize = 0,
  clashes = 0x0, funcTree = 0x0, addressmod = {0x0, 0x0}, for_newralloc = false}