OSDN Git Service

[DebugInfo] Omit location list entries with empty ranges
authorDavid Stenberg <david.stenberg@ericsson.com>
Wed, 9 Jan 2019 09:58:59 +0000 (09:58 +0000)
committerDavid Stenberg <david.stenberg@ericsson.com>
Wed, 9 Jan 2019 09:58:59 +0000 (09:58 +0000)
commite81d719f146775ce33c976dadb60096d576cac80
treeca26cda098858d723719ea8542a0b575d6f42b5f
parent9550bf5c5c58cf9d7c810cb249e6432e31ff2417
[DebugInfo] Omit location list entries with empty ranges

Summary:
This fixes PR39710. In that case we emitted a location list looking like
this:

.Ldebug_loc0:
        .quad   .Lfunc_begin0-.Lfunc_begin0
        .quad   .Lfunc_begin0-.Lfunc_begin0
        .short  1                       # Loc expr size
        .byte   85                      # DW_OP_reg5
        .quad   .Lfunc_begin0-.Lfunc_begin0
        .quad   .Lfunc_end0-.Lfunc_begin0
        .short  1                       # Loc expr size
        .byte   85                      # super-register DW_OP_reg5
        .quad   0
        .quad   0

As seen, the first entry's beginning and ending addresses evalute to 0,
which meant that the entry inadvertently became an "end of list" entry,
resulting in the location list ending sooner than expected.

To fix this, omit all entries with empty ranges. Location list entries
with empty ranges do not have any effect, as specified by DWARF, so we
might as well drop them:

"A location list entry (but not a base address selection or end of list
 entry) whose beginning and ending addresses are equal has no effect
 because the size of the range covered by such an entry is zero."

Reviewers: davide, aprantl, dblaikie

Reviewed By: aprantl

Subscribers: javed.absar, JDevlieghere, llvm-commits

Tags: #debug-info

Differential Revision: https://reviews.llvm.org/D55919

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@350698 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/AsmPrinter/DwarfDebug.cpp
test/DebugInfo/ARM/PR26163.ll
test/DebugInfo/X86/PR26148.ll
test/DebugInfo/X86/pieces-3.ll