This is an archive of the discontinued LLVM Phabricator instance.

Differential D157746

[BOLT][DWARF] Fix handling of invalid DIE references
ClosedPublic

Authored by ayermolo on Aug 11 2023, 11:54 AM.

Details

Reviewers
rafauler
Amir
maksfb
jdoerfert
Commits
rG2c784f7d2685: [BOLT][DWARF] Fix handling of invalid DIE references
Summary

Compiler can generate DIE References that are invalid. Previously BOLT could
assert when writing out IR to .debug_info. Changed where DIE offsets are changed
so that it's always done. Thus making sure that assert is not triggered.

Added more specific warnings, and ability to print out invalid referenced DIE
offset when verbosity >=1.

Diff Detail

Event Timeline

ayermolo created this revision.Aug 11 2023, 11:54 AM
Herald added a reviewer: rafauler. · View Herald TranscriptAug 11 2023, 11:54 AM
Herald added a reviewer: Amir. · View Herald Transcript
Herald added a reviewer: maksfb. · View Herald Transcript
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: treapster, hoy, modimo, wenlei. · View Herald Transcript
ayermolo requested review of this revision.Aug 11 2023, 11:54 AM
Herald added a reviewer: jdoerfert. · View Herald TranscriptAug 11 2023, 11:54 AM
Herald added a project: Restricted Project. · View Herald Transcript
Herald added subscribers: llvm-commits, jplehr, yota9, sstefan1. · View Herald Transcript
ayermolo updated this revision to Diff 549482.Aug 11 2023, 12:00 PM

Fixed dwarf version in commands

Herald added a subscriber: ormris. · View Herald TranscriptAug 11 2023, 12:00 PM
Harbormaster completed remote builds in B252022: Diff 549482.Aug 11 2023, 12:07 PM
ayermolo retitled this revision from [BOLT][DWARF][NFC] Fix handling of invalid DIE references to [BOLT][DWARF] Fix handling of invalid DIE references.Aug 14 2023, 11:43 AM
Amir accepted this revision.Aug 14 2023, 3:35 PM

LGTM with minor nits. Tricky issue but thanks for handling it gracefully.

bolt/lib/Core/DIEBuilder.cpp
114

This needs to be the first sentence.

481–482
bolt/test/X86/dwarf4-invalid-reference-die-offset-no-internal-dwarf-error.s
12
This revision is now accepted and ready to land.Aug 14 2023, 3:35 PM
ayermolo marked 3 inline comments as done.Aug 14 2023, 4:42 PM
ayermolo updated this revision to Diff 550136.Aug 14 2023, 4:44 PM

addressed comments

Harbormaster completed remote builds in B252495: Diff 550136.Aug 14 2023, 5:26 PM
Closed by commit rG2c784f7d2685: [BOLT][DWARF] Fix handling of invalid DIE references (authored by ayermolo). · Explain WhyAug 14 2023, 5:28 PM
This revision was automatically updated to reflect the committed changes.
ayermolo added a commit: rG2c784f7d2685: [BOLT][DWARF] Fix handling of invalid DIE references.

Revision Contents

Diff 550136

bolt/include/bolt/Core/DIEBuilder.h

Show All 15 Lines
#define BOLT_CORE_DIE_BUILDER_H #define BOLT_CORE_DIE_BUILDER_H
#include "llvm/CodeGen/DIE.h" #include "llvm/CodeGen/DIE.h"
#include "llvm/DebugInfo/DWARF/DWARFAbbreviationDeclaration.h" #include "llvm/DebugInfo/DWARF/DWARFAbbreviationDeclaration.h"
#include "llvm/DebugInfo/DWARF/DWARFDie.h" #include "llvm/DebugInfo/DWARF/DWARFDie.h"
#include "llvm/DebugInfo/DWARF/DWARFExpression.h" #include "llvm/DebugInfo/DWARF/DWARFExpression.h"
#include "llvm/DebugInfo/DWARF/DWARFUnit.h" #include "llvm/DebugInfo/DWARF/DWARFUnit.h"
#include "llvm/Support/Allocator.h" #include "llvm/Support/Allocator.h"
#include "llvm/Support/ErrorHandling.h"
#include <list> #include <list>
#include <memory> #include <memory>
#include <optional> #include <optional>
#include <unordered_map> #include <unordered_map>
#include <unordered_set>
#include <vector> #include <vector>
namespace llvm { namespace llvm {
namespace bolt { namespace bolt {
class DIEStreamer; class DIEStreamer;
class DIEBuilder { class DIEBuilder {
▲ Show 20 Lines • Show All 70 Lines • ▼ Show 20 Lines struct State {
std::vector<DWARFUnitInfo> CloneUnitCtxMap; std::vector<DWARFUnitInfo> CloneUnitCtxMap;
std::vector<std::pair<DIEInfo *, AddrReferenceInfo>> AddrReferences; std::vector<std::pair<DIEInfo *, AddrReferenceInfo>> AddrReferences;
std::vector<DWARFUnit *> DWARF4TUVector; std::vector<DWARFUnit *> DWARF4TUVector;
std::vector<DWARFUnit *> DWARF5TUVector; std::vector<DWARFUnit *> DWARF5TUVector;
std::vector<DWARFUnit *> DWARFCUVector; std::vector<DWARFUnit *> DWARFCUVector;
std::vector<LocWithReference> LocWithReferencesToProcess; std::vector<LocWithReference> LocWithReferencesToProcess;
BumpPtrAllocator DIEAlloc; BumpPtrAllocator DIEAlloc;
ProcessingType Type; ProcessingType Type;
std::unordered_set<uint64_t> DWARFDieAddressesParsed;
}; };
std::unique_ptr<State> BuilderState; std::unique_ptr<State> BuilderState;
FoldingSet<DIEAbbrev> AbbreviationsSet; FoldingSet<DIEAbbrev> AbbreviationsSet;
std::vector<std::unique_ptr<DIEAbbrev>> Abbreviations; std::vector<std::unique_ptr<DIEAbbrev>> Abbreviations;
DWARFContext *DwarfContext{nullptr}; DWARFContext *DwarfContext{nullptr};
bool IsDWO{false}; bool IsDWO{false};
uint64_t UnitSize{0}; uint64_t UnitSize{0};
▲ Show 20 Lines • Show All 246 Lines • Show Last 20 Lines

bolt/lib/Core/DIEBuilder.cpp

Show All 33 Lines
#include <mutex> #include <mutex>
#include <string> #include <string>
#include <unordered_map> #include <unordered_map>
#include <utility> #include <utility>
#include <vector> #include <vector>
#undef DEBUG_TYPE #undef DEBUG_TYPE
#define DEBUG_TYPE "bolt" #define DEBUG_TYPE "bolt"
namespace opts {
extern cl::opt<unsigned> Verbosity;
}
namespace llvm { namespace llvm {
namespace bolt { namespace bolt {
void DIEBuilder::updateReferences() { void DIEBuilder::updateReferences() {
for (auto &[SrcDIEInfo, ReferenceInfo] : getState().AddrReferences) { for (auto &[SrcDIEInfo, ReferenceInfo] : getState().AddrReferences) {
DIEInfo *DstDIEInfo = ReferenceInfo.Dst; DIEInfo *DstDIEInfo = ReferenceInfo.Dst;
DWARFUnitInfo &DstUnitInfo = getUnitInfo(DstDIEInfo->UnitId); DWARFUnitInfo &DstUnitInfo = getUnitInfo(DstDIEInfo->UnitId);
dwarf::Attribute Attr = ReferenceInfo.AttrSpec.Attr; dwarf::Attribute Attr = ReferenceInfo.AttrSpec.Attr;
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
uint32_t DIEBuilder::allocDIE(const DWARFUnit &DU, const DWARFDie &DDie, uint32_t DIEBuilder::allocDIE(const DWARFUnit &DU, const DWARFDie &DDie,
BumpPtrAllocator &Alloc, const uint32_t UId) { BumpPtrAllocator &Alloc, const uint32_t UId) {
DWARFUnitInfo &DWARFUnitInfo = getUnitInfo(UId); DWARFUnitInfo &DWARFUnitInfo = getUnitInfo(UId);
const uint64_t DDieOffset = DDie.getOffset(); const uint64_t DDieOffset = DDie.getOffset();
if (DWARFUnitInfo.DIEIDMap.count(DDieOffset)) if (DWARFUnitInfo.DIEIDMap.count(DDieOffset))
return DWARFUnitInfo.DIEIDMap[DDieOffset]; return DWARFUnitInfo.DIEIDMap[DDieOffset];
DIE *Die = DIE::get(Alloc, dwarf::Tag(DDie.getTag())); DIE *Die = DIE::get(Alloc, dwarf::Tag(DDie.getTag()));
// This handles the case where there is a DIE ref which points to
// invalid DIE. This prevents assert when IR is written out.
// Also it makes debugging easier.
// DIE dump is not very useful.
AmirUnsubmitted
Done
ReplyInline Actions

This needs to be the first sentence.

Amir: This needs to be the first sentence.
// It's nice to know original offset from which this DIE was constructed.
Die->setOffset(DDie.getOffset());
if (opts::Verbosity >= 1)
getState().DWARFDieAddressesParsed.insert(DDie.getOffset());
const uint32_t DId = DWARFUnitInfo.DieInfoVector.size(); const uint32_t DId = DWARFUnitInfo.DieInfoVector.size();
DWARFUnitInfo.DIEIDMap[DDieOffset] = DId; DWARFUnitInfo.DIEIDMap[DDieOffset] = DId;
DWARFUnitInfo.DieInfoVector.emplace_back( DWARFUnitInfo.DieInfoVector.emplace_back(
std::make_unique<DIEInfo>(DIEInfo{Die, DId, UId})); std::make_unique<DIEInfo>(DIEInfo{Die, DId, UId}));
return DId; return DId;
} }
void DIEBuilder::constructFromUnit(DWARFUnit &DU) { void DIEBuilder::constructFromUnit(DWARFUnit &DU) {
▲ Show 20 Lines • Show All 169 Lines • ▼ Show 20 Lines if (DWARFUnitInfo.IsConstructed && DieInfo.Die)
return DieInfo.Die; return DieInfo.Die;
} else { } else {
Idx = allocDIE(U, DDie, getState().DIEAlloc, UnitId); Idx = allocDIE(U, DDie, getState().DIEAlloc, UnitId);
} }
DIEInfo &DieInfo = getDIEInfo(UnitId, *Idx); DIEInfo &DieInfo = getDIEInfo(UnitId, *Idx);
uint64_t Offset = DDie.getOffset(); uint64_t Offset = DDie.getOffset();
// Just for making debugging easier.
// DIE dump is not very useful.
// It's nice to know original offset from which this DIE was constructed.
DieInfo.Die->setOffset(Offset);
uint64_t NextOffset = Offset; uint64_t NextOffset = Offset;
DWARFDataExtractor Data = U.getDebugInfoExtractor(); DWARFDataExtractor Data = U.getDebugInfoExtractor();
DWARFDebugInfoEntry DDIEntry; DWARFDebugInfoEntry DDIEntry;
if (DDIEntry.extractFast(U, &NextOffset, Data, U.getNextUnitOffset(), 0)) if (DDIEntry.extractFast(U, &NextOffset, Data, U.getNextUnitOffset(), 0))
assert(NextOffset - U.getOffset() <= Data.getData().size() && assert(NextOffset - U.getOffset() <= Data.getData().size() &&
"NextOffset OOB"); "NextOffset OOB");
▲ Show 20 Lines • Show All 59 Lines • ▼ Show 20 Lines case DIEBuilder::ProcessingType::CUs:
return findUnit(Builder.getDWARFCUVector()); return findUnit(Builder.getDWARFCUVector());
}; };
return nullptr; return nullptr;
} }
uint32_t DIEBuilder::computeDIEOffset(const DWARFUnit &CU, DIE &Die, uint32_t DIEBuilder::computeDIEOffset(const DWARFUnit &CU, DIE &Die,
uint32_t &CurOffset) { uint32_t &CurOffset) {
getState().DWARFDieAddressesParsed.erase(Die.getOffset());
uint32_t CurSize = 0; uint32_t CurSize = 0;
Die.setOffset(CurOffset); Die.setOffset(CurOffset);
for (DIEValue &Val : Die.values()) for (DIEValue &Val : Die.values())
CurSize += Val.sizeOf(CU.getFormParams()); CurSize += Val.sizeOf(CU.getFormParams());
CurSize += getULEB128Size(Die.getAbbrevNumber()); CurSize += getULEB128Size(Die.getAbbrevNumber());
CurOffset += CurSize; CurOffset += CurSize;
for (DIE &Child : Die.children()) { for (DIE &Child : Die.children()) {
Show All 36 Linesvoid DIEBuilder::finish() {
} }
for (const DWARFUnit *CU : getState().DUList) { for (const DWARFUnit *CU : getState().DUList) {
// Skipping DWARF4 types. // Skipping DWARF4 types.
if (CU->getVersion() < 5 && CU->isTypeUnit()) if (CU->getVersion() < 5 && CU->isTypeUnit())
continue; continue;
computeOffset(*CU, UnitSize); computeOffset(*CU, UnitSize);
} }
if (opts::Verbosity >= 1) {
if (!getState().DWARFDieAddressesParsed.empty())
dbgs() << "Referenced DIE offsets not in .debug_info\n";
for (const uint64_t Address : getState().DWARFDieAddressesParsed) {
dbgs() << Twine::utohexstr(Address) << "\n";
}
}
updateReferences(); updateReferences();
} }
DWARFDie DIEBuilder::resolveDIEReference( DWARFDie DIEBuilder::resolveDIEReference(
const DWARFFormValue &RefValue, const DWARFFormValue &RefValue,
const DWARFAbbreviationDeclaration::AttributeSpec AttrSpec, const DWARFAbbreviationDeclaration::AttributeSpec AttrSpec,
DWARFUnit *&RefCU, DWARFDebugInfoEntry &DwarfDebugInfoEntry) { DWARFUnit *&RefCU, DWARFDebugInfoEntry &DwarfDebugInfoEntry) {
assert(RefValue.isFormClass(DWARFFormValue::FC_Reference)); assert(RefValue.isFormClass(DWARFFormValue::FC_Reference));
Show All 20 Lines if (DwarfDebugInfoEntry.extractFast(*RefCU, &TmpRefOffset, DebugInfoData,
std::optional<uint32_t> UnitId = getUnitId(*RefCU); std::optional<uint32_t> UnitId = getUnitId(*RefCU);
// forward reference // forward reference
if (UnitId && !getState().CloneUnitCtxMap[*UnitId].IsConstructed && if (UnitId && !getState().CloneUnitCtxMap[*UnitId].IsConstructed &&
!getAllocDIEId(*RefCU, RefDie)) !getAllocDIEId(*RefCU, RefDie))
allocDIE(*RefCU, RefDie, getState().DIEAlloc, *UnitId); allocDIE(*RefCU, RefDie, getState().DIEAlloc, *UnitId);
return RefDie; return RefDie;
} }
} errs() << "BOLT-WARNING: [internal-dwarf-error]: invalid referenced DIE "
} "at offset: "
<< Twine::utohexstr(RefOffset) << ".\n";
} else {
errs() << "BOLT-WARNING: [internal-dwarf-error]: could not parse "
"referenced DIE at offset: "
<< Twine::utohexstr(RefOffset) << ".\n";
AmirUnsubmitted
Done
ReplyInline Actions
errs() << "BOLT-WARNING: [internal-dwarf-error]: could not parse "
- "referenced DIE "
- "at offset: "
+ "referenced DIE at offset: "
<< Twine::utohexstr(RefOffset) << ".\n";
Amir:
}
} else {
errs() << "BOLT-WARNING: [internal-dwarf-error]: could not find referenced " errs() << "BOLT-WARNING: [internal-dwarf-error]: could not find referenced "
"CU.\n"; "CU. Referenced DIE offset: "
<< Twine::utohexstr(RefOffset) << ".\n";
}
return DWARFDie(); return DWARFDie();
} }
void DIEBuilder::cloneDieReferenceAttribute( void DIEBuilder::cloneDieReferenceAttribute(
DIE &Die, const DWARFUnit &U, const DWARFDie &InputDIE, DIE &Die, const DWARFUnit &U, const DWARFDie &InputDIE,
const DWARFAbbreviationDeclaration::AttributeSpec AttrSpec, const DWARFAbbreviationDeclaration::AttributeSpec AttrSpec,
const DWARFFormValue &Val) { const DWARFFormValue &Val) {
const uint64_t Ref = *Val.getAsReference(); const uint64_t Ref = *Val.getAsReference();
▲ Show 20 Lines • Show All 410 Lines • Show Last 20 Lines

bolt/test/X86/dwarf4-invalid-reference-die-offset-no-internal-dwarf-error.s

  • This file was added.
PropertyOld ValueNew Value
File Modenull100755
# REQUIRES: system-linux
# RUN: llvm-mc -dwarf-version=4 -filetype=obj -triple x86_64-unknown-linux %s -o %t1.o
# RUN: %clang %cflags -dwarf-4 %t1.o -o %t.exe -Wl,-q
# RUN: llvm-bolt %t.exe -o %t.bolt --update-debug-sections -v 1 &> %tlog.txt
# RUN: cat %tlog.txt | FileCheck --check-prefix=CHECKBOLT %s
# RUN: llvm-dwarfdump --show-form --verbose --debug-info %t.exe | FileCheck --check-prefix=CHECK %s
# Tests BOLT does not assert when DIE reference is invalid.
# CHECKBOLT: Referenced DIE offsets not in .debug_info
# CHECKBOLT-NEXT: 91
AmirUnsubmitted
Done
ReplyInline Actions
# Tests BOLT does not assert when DIE reference is invalid.
- # CHECKBOLT: Referenced DIEs not in .debug_info
+ # CHECKBOLT: Referenced DIE offsets not in .debug_info
# CHECKBOLT-NEXT: 91
Amir:
# CHECK: DW_TAG_variable
# CHECK-NEXT: DW_AT_name
# CHECK-NEXT: DW_AT_type [DW_FORM_ref4] (cu + 0x0091 => {0x00000091})
# Assembly manually modified
# struct pair {int i; int j; };
# static pair p;
# int load() {
# return p.i + p.j;
# }
# void store(int i, int j) {
# p.i = i;
# p.j = j;
# }
# int main() {
# return 0;
# }
.text
.file "main.cpp"
.file 1 "/invalidWithin" "main.cpp"
.section .text._Z4loadv,"ax",@progbits
.globl _Z4loadv # -- Begin function _Z4loadv
.p2align 4, 0x90
.type _Z4loadv,@function
_Z4loadv: # @_Z4loadv
.Lfunc_begin0:
.cfi_startproc
# %bb.0: # %entry
.loc 1 4 20 prologue_end # main.cpp:4:20
movl _ZL1p.1(%rip), %eax
.loc 1 4 16 is_stmt 0 # main.cpp:4:16
addl _ZL1p.0(%rip), %eax
.loc 1 4 5 # main.cpp:4:5
retq
.Ltmp0:
.Lfunc_end0:
.size _Z4loadv, .Lfunc_end0-_Z4loadv
.cfi_endproc
# -- End function
.section .text._Z5storeii,"ax",@progbits
.globl _Z5storeii # -- Begin function _Z5storeii
.p2align 4, 0x90
.type _Z5storeii,@function
_Z5storeii: # @_Z5storeii
.Lfunc_begin1:
.cfi_startproc
# %bb.0: # %entry
#DEBUG_VALUE: store:i <- $edi
#DEBUG_VALUE: store:j <- $esi
.loc 1 7 9 prologue_end is_stmt 1 # main.cpp:7:9
movl %edi, _ZL1p.0(%rip)
.loc 1 8 9 # main.cpp:8:9
movl %esi, _ZL1p.1(%rip)
.loc 1 9 1 # main.cpp:9:1
retq
.Ltmp1:
.Lfunc_end1:
.size _Z5storeii, .Lfunc_end1-_Z5storeii
.cfi_endproc
# -- End function
.section .text.main,"ax",@progbits
.globl main # -- Begin function main
.p2align 4, 0x90
.type main,@function
main: # @main
.Lfunc_begin2:
.cfi_startproc
# %bb.0: # %entry
.loc 1 11 1 prologue_end # main.cpp:11:1
xorl %eax, %eax
retq
.Ltmp2:
.Lfunc_end2:
.size main, .Lfunc_end2-main
.cfi_endproc
# -- End function
.type _ZL1p.0,@object # @_ZL1p.0
.local _ZL1p.0
.comm _ZL1p.0,4,4
.type _ZL1p.1,@object # @_ZL1p.1
.local _ZL1p.1
.comm _ZL1p.1,4,4
.section .debug_abbrev,"",@progbits
.byte 1 # Abbreviation Code
.byte 17 # DW_TAG_compile_unit
.byte 1 # DW_CHILDREN_yes
.byte 37 # DW_AT_producer
.byte 14 # DW_FORM_strp
.byte 19 # DW_AT_language
.byte 5 # DW_FORM_data2
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 16 # DW_AT_stmt_list
.byte 23 # DW_FORM_sec_offset
.byte 27 # DW_AT_comp_dir
.byte 14 # DW_FORM_strp
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 85 # DW_AT_ranges
.byte 23 # DW_FORM_sec_offset
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 2 # Abbreviation Code
.byte 52 # DW_TAG_variable
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 2 # DW_AT_location
.byte 24 # DW_FORM_exprloc
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 3 # Abbreviation Code
.byte 19 # DW_TAG_structure_type
.byte 1 # DW_CHILDREN_yes
.byte 54 # DW_AT_calling_convention
.byte 11 # DW_FORM_data1
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 4 # Abbreviation Code
.byte 13 # DW_TAG_member
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 56 # DW_AT_data_member_location
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 5 # Abbreviation Code
.byte 36 # DW_TAG_base_type
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 62 # DW_AT_encoding
.byte 11 # DW_FORM_data1
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 6 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 0 # DW_CHILDREN_no
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 7 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 1 # DW_CHILDREN_yes
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 8 # Abbreviation Code
.byte 5 # DW_TAG_formal_parameter
.byte 0 # DW_CHILDREN_no
.byte 2 # DW_AT_location
.byte 24 # DW_FORM_exprloc
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 9 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 0 # DW_CHILDREN_no
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 0 # EOM(3)
.section .debug_info,"",@progbits
.Lcu_begin0:
.long .Ldebug_info_end0-.Ldebug_info_start0 # Length of Unit
.Ldebug_info_start0:
.short 4 # DWARF version number
.long .debug_abbrev # Offset Into Abbrev. Section
.byte 8 # Address Size (in bytes)
.byte 1 # Abbrev [1] 0xb:0xd9 DW_TAG_compile_unit
.long .Linfo_string0 # DW_AT_producer
.short 33 # DW_AT_language
.long .Linfo_string1 # DW_AT_name
.long .Lline_table_start0 # DW_AT_stmt_list
.long .Linfo_string2 # DW_AT_comp_dir
.quad 0 # DW_AT_low_pc
.long .Ldebug_ranges0 # DW_AT_ranges
.byte 2 # Abbrev [2] 0x2a:0x26 DW_TAG_variable
.long .Linfo_string3 # DW_AT_name
.long 145 # DW_AT_type --> Modified manually s/80/145
.byte 1 # DW_AT_decl_file
.byte 2 # DW_AT_decl_line
.byte 22 # DW_AT_location
.byte 3
.quad _ZL1p.0
.byte 147
.byte 4
.byte 3
.quad _ZL1p.1
.byte 147
.byte 4
.long .Linfo_string8 # DW_AT_linkage_name
.byte 3 # Abbrev [3] 0x50:0x22 DW_TAG_structure_type
.byte 5 # DW_AT_calling_convention
.long .Linfo_string7 # DW_AT_name
.byte 8 # DW_AT_byte_size
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 4 # Abbrev [4] 0x59:0xc DW_TAG_member
.long .Linfo_string4 # DW_AT_name
.long 114 # DW_AT_type
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 0 # DW_AT_data_member_location
.byte 4 # Abbrev [4] 0x65:0xc DW_TAG_member
.long .Linfo_string6 # DW_AT_name
.long 114 # DW_AT_type
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 4 # DW_AT_data_member_location
.byte 0 # End Of Children Mark
.byte 5 # Abbrev [5] 0x72:0x7 DW_TAG_base_type
.long .Linfo_string5 # DW_AT_name
.byte 5 # DW_AT_encoding
.byte 4 # DW_AT_byte_size
.byte 6 # Abbrev [6] 0x79:0x1d DW_TAG_subprogram
.quad .Lfunc_begin0 # DW_AT_low_pc
.long .Lfunc_end0-.Lfunc_begin0 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string9 # DW_AT_linkage_name
.long .Linfo_string10 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 3 # DW_AT_decl_line
.long 114 # DW_AT_type
# DW_AT_external
.byte 7 # Abbrev [7] 0x96:0x34 DW_TAG_subprogram
.quad .Lfunc_begin1 # DW_AT_low_pc
.long .Lfunc_end1-.Lfunc_begin1 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string11 # DW_AT_linkage_name
.long .Linfo_string12 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
# DW_AT_external
.byte 8 # Abbrev [8] 0xaf:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 85
.long .Linfo_string4 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.long 114 # DW_AT_type
.byte 8 # Abbrev [8] 0xbc:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 84
.long .Linfo_string6 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.long 114 # DW_AT_type
.byte 0 # End Of Children Mark
.byte 9 # Abbrev [9] 0xca:0x19 DW_TAG_subprogram
.quad .Lfunc_begin2 # DW_AT_low_pc
.long .Lfunc_end2-.Lfunc_begin2 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string13 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 10 # DW_AT_decl_line
.long 114 # DW_AT_type
# DW_AT_external
.byte 0 # End Of Children Mark
.Ldebug_info_end0:
.section .debug_ranges,"",@progbits
.Ldebug_ranges0:
.quad .Lfunc_begin0
.quad .Lfunc_end0
.quad .Lfunc_begin1
.quad .Lfunc_end1
.quad .Lfunc_begin2
.quad .Lfunc_end2
.quad 0
.quad 0
.section .debug_str,"MS",@progbits,1
.Linfo_string0:
.asciz "clang version 18.0.0 (git@github.com:llvm/llvm-project.git 37d6c1cc7d4dd3a8a47ba62254bc88521bd50d66)" # string offset=0
.Linfo_string1:
.asciz "main.cpp" # string offset=101
.Linfo_string2:
.asciz "/invalidWithin" # string offset=110
.Linfo_string3:
.asciz "p" # string offset=162
.Linfo_string4:
.asciz "i" # string offset=164
.Linfo_string5:
.asciz "int" # string offset=166
.Linfo_string6:
.asciz "j" # string offset=170
.Linfo_string7:
.asciz "pair" # string offset=172
.Linfo_string8:
.asciz "_ZL1p" # string offset=177
.Linfo_string9:
.asciz "_Z4loadv" # string offset=183
.Linfo_string10:
.asciz "load" # string offset=192
.Linfo_string11:
.asciz "_Z5storeii" # string offset=197
.Linfo_string12:
.asciz "store" # string offset=208
.Linfo_string13:
.asciz "main" # string offset=214
.ident "clang version 18.0.0 (git@github.com:llvm/llvm-project.git 37d6c1cc7d4dd3a8a47ba62254bc88521bd50d66)"
.section ".note.GNU-stack","",@progbits
.addrsig
.section .debug_line,"",@progbits
.Lline_table_start0:

bolt/test/X86/dwarf4-invalid-reference-die-offset-with-internal-dwarf-error-cant-parse-die.s

  • This file was added.
PropertyOld ValueNew Value
File Modenull100755
# REQUIRES: system-linux
# RUN: llvm-mc -dwarf-version=4 -filetype=obj -triple x86_64-unknown-linux %s -o %t1.o
# RUN: %clang %cflags -dwarf-4 %t1.o -o %t.exe -Wl,-q
# RUN: llvm-bolt %t.exe -o %t.bolt --update-debug-sections -v 1 &> %tlog.txt
# RUN: cat %tlog.txt | FileCheck --check-prefix=CHECKBOLT %s
# RUN: llvm-dwarfdump --show-form --verbose --debug-info %t.exe | FileCheck --check-prefix=CHECK %s
# Tests BOLT does not assert when DIE reference is invalid.
# CHECKBOLT: BOLT-WARNING: [internal-dwarf-error]: could not parse referenced DIE at offset:
# CHECKBOLT-NOT: Referenced DIE offsets not in .debug_info
# CHECK: DW_TAG_variable
# CHECK-NEXT: DW_AT_name
# CHECK-NEXT: DW_AT_type [DW_FORM_ref4] (cu + 0x008c => {0x0000008c})
# Assembly manually modified
# struct pair {int i; int j; };
# static pair p;
# int load() {
# return p.i + p.j;
# }
# void store(int i, int j) {
# p.i = i;
# p.j = j;
# }
# int main() {
# return 0;
# }
.text
.file "main.cpp"
.file 1 "/invalidWithin" "main.cpp"
.section .text._Z4loadv,"ax",@progbits
.globl _Z4loadv # -- Begin function _Z4loadv
.p2align 4, 0x90
.type _Z4loadv,@function
_Z4loadv: # @_Z4loadv
.Lfunc_begin0:
.cfi_startproc
# %bb.0: # %entry
.loc 1 4 20 prologue_end # main.cpp:4:20
movl _ZL1p.1(%rip), %eax
.loc 1 4 16 is_stmt 0 # main.cpp:4:16
addl _ZL1p.0(%rip), %eax
.loc 1 4 5 # main.cpp:4:5
retq
.Ltmp0:
.Lfunc_end0:
.size _Z4loadv, .Lfunc_end0-_Z4loadv
.cfi_endproc
# -- End function
.section .text._Z5storeii,"ax",@progbits
.globl _Z5storeii # -- Begin function _Z5storeii
.p2align 4, 0x90
.type _Z5storeii,@function
_Z5storeii: # @_Z5storeii
.Lfunc_begin1:
.cfi_startproc
# %bb.0: # %entry
#DEBUG_VALUE: store:i <- $edi
#DEBUG_VALUE: store:j <- $esi
.loc 1 7 9 prologue_end is_stmt 1 # main.cpp:7:9
movl %edi, _ZL1p.0(%rip)
.loc 1 8 9 # main.cpp:8:9
movl %esi, _ZL1p.1(%rip)
.loc 1 9 1 # main.cpp:9:1
retq
.Ltmp1:
.Lfunc_end1:
.size _Z5storeii, .Lfunc_end1-_Z5storeii
.cfi_endproc
# -- End function
.section .text.main,"ax",@progbits
.globl main # -- Begin function main
.p2align 4, 0x90
.type main,@function
main: # @main
.Lfunc_begin2:
.cfi_startproc
# %bb.0: # %entry
.loc 1 11 1 prologue_end # main.cpp:11:1
xorl %eax, %eax
retq
.Ltmp2:
.Lfunc_end2:
.size main, .Lfunc_end2-main
.cfi_endproc
# -- End function
.type _ZL1p.0,@object # @_ZL1p.0
.local _ZL1p.0
.comm _ZL1p.0,4,4
.type _ZL1p.1,@object # @_ZL1p.1
.local _ZL1p.1
.comm _ZL1p.1,4,4
.section .debug_abbrev,"",@progbits
.byte 1 # Abbreviation Code
.byte 17 # DW_TAG_compile_unit
.byte 1 # DW_CHILDREN_yes
.byte 37 # DW_AT_producer
.byte 14 # DW_FORM_strp
.byte 19 # DW_AT_language
.byte 5 # DW_FORM_data2
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 16 # DW_AT_stmt_list
.byte 23 # DW_FORM_sec_offset
.byte 27 # DW_AT_comp_dir
.byte 14 # DW_FORM_strp
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 85 # DW_AT_ranges
.byte 23 # DW_FORM_sec_offset
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 2 # Abbreviation Code
.byte 52 # DW_TAG_variable
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 2 # DW_AT_location
.byte 24 # DW_FORM_exprloc
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 3 # Abbreviation Code
.byte 19 # DW_TAG_structure_type
.byte 1 # DW_CHILDREN_yes
.byte 54 # DW_AT_calling_convention
.byte 11 # DW_FORM_data1
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 4 # Abbreviation Code
.byte 13 # DW_TAG_member
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 56 # DW_AT_data_member_location
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 5 # Abbreviation Code
.byte 36 # DW_TAG_base_type
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 62 # DW_AT_encoding
.byte 11 # DW_FORM_data1
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 6 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 0 # DW_CHILDREN_no
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 7 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 1 # DW_CHILDREN_yes
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 8 # Abbreviation Code
.byte 5 # DW_TAG_formal_parameter
.byte 0 # DW_CHILDREN_no
.byte 2 # DW_AT_location
.byte 24 # DW_FORM_exprloc
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 9 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 0 # DW_CHILDREN_no
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 0 # EOM(3)
.section .debug_info,"",@progbits
.Lcu_begin0:
.long .Ldebug_info_end0-.Ldebug_info_start0 # Length of Unit
.Ldebug_info_start0:
.short 4 # DWARF version number
.long .debug_abbrev # Offset Into Abbrev. Section
.byte 8 # Address Size (in bytes)
.byte 1 # Abbrev [1] 0xb:0xd9 DW_TAG_compile_unit
.long .Linfo_string0 # DW_AT_producer
.short 33 # DW_AT_language
.long .Linfo_string1 # DW_AT_name
.long .Lline_table_start0 # DW_AT_stmt_list
.long .Linfo_string2 # DW_AT_comp_dir
.quad 0 # DW_AT_low_pc
.long .Ldebug_ranges0 # DW_AT_ranges
.byte 2 # Abbrev [2] 0x2a:0x26 DW_TAG_variable
.long .Linfo_string3 # DW_AT_name
.long 140 # DW_AT_type --> Modified manually s/80/140
.byte 1 # DW_AT_decl_file
.byte 2 # DW_AT_decl_line
.byte 22 # DW_AT_location
.byte 3
.quad _ZL1p.0
.byte 147
.byte 4
.byte 3
.quad _ZL1p.1
.byte 147
.byte 4
.long .Linfo_string8 # DW_AT_linkage_name
.byte 3 # Abbrev [3] 0x50:0x22 DW_TAG_structure_type
.byte 5 # DW_AT_calling_convention
.long .Linfo_string7 # DW_AT_name
.byte 8 # DW_AT_byte_size
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 4 # Abbrev [4] 0x59:0xc DW_TAG_member
.long .Linfo_string4 # DW_AT_name
.long 114 # DW_AT_type
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 0 # DW_AT_data_member_location
.byte 4 # Abbrev [4] 0x65:0xc DW_TAG_member
.long .Linfo_string6 # DW_AT_name
.long 114 # DW_AT_type
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 4 # DW_AT_data_member_location
.byte 0 # End Of Children Mark
.byte 5 # Abbrev [5] 0x72:0x7 DW_TAG_base_type
.long .Linfo_string5 # DW_AT_name
.byte 5 # DW_AT_encoding
.byte 4 # DW_AT_byte_size
.byte 6 # Abbrev [6] 0x79:0x1d DW_TAG_subprogram
.quad .Lfunc_begin0 # DW_AT_low_pc
.long .Lfunc_end0-.Lfunc_begin0 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string9 # DW_AT_linkage_name
.long .Linfo_string10 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 3 # DW_AT_decl_line
.long 114 # DW_AT_type
# DW_AT_external
.byte 7 # Abbrev [7] 0x96:0x34 DW_TAG_subprogram
.quad .Lfunc_begin1 # DW_AT_low_pc
.long .Lfunc_end1-.Lfunc_begin1 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string11 # DW_AT_linkage_name
.long .Linfo_string12 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
# DW_AT_external
.byte 8 # Abbrev [8] 0xaf:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 85
.long .Linfo_string4 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.long 114 # DW_AT_type
.byte 8 # Abbrev [8] 0xbc:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 84
.long .Linfo_string6 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.long 114 # DW_AT_type
.byte 0 # End Of Children Mark
.byte 9 # Abbrev [9] 0xca:0x19 DW_TAG_subprogram
.quad .Lfunc_begin2 # DW_AT_low_pc
.long .Lfunc_end2-.Lfunc_begin2 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string13 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 10 # DW_AT_decl_line
.long 114 # DW_AT_type
# DW_AT_external
.byte 0 # End Of Children Mark
.Ldebug_info_end0:
.section .debug_ranges,"",@progbits
.Ldebug_ranges0:
.quad .Lfunc_begin0
.quad .Lfunc_end0
.quad .Lfunc_begin1
.quad .Lfunc_end1
.quad .Lfunc_begin2
.quad .Lfunc_end2
.quad 0
.quad 0
.section .debug_str,"MS",@progbits,1
.Linfo_string0:
.asciz "clang version 18.0.0 (git@github.com:llvm/llvm-project.git 37d6c1cc7d4dd3a8a47ba62254bc88521bd50d66)" # string offset=0
.Linfo_string1:
.asciz "main.cpp" # string offset=101
.Linfo_string2:
.asciz "/invalidWithin" # string offset=110
.Linfo_string3:
.asciz "p" # string offset=162
.Linfo_string4:
.asciz "i" # string offset=164
.Linfo_string5:
.asciz "int" # string offset=166
.Linfo_string6:
.asciz "j" # string offset=170
.Linfo_string7:
.asciz "pair" # string offset=172
.Linfo_string8:
.asciz "_ZL1p" # string offset=177
.Linfo_string9:
.asciz "_Z4loadv" # string offset=183
.Linfo_string10:
.asciz "load" # string offset=192
.Linfo_string11:
.asciz "_Z5storeii" # string offset=197
.Linfo_string12:
.asciz "store" # string offset=208
.Linfo_string13:
.asciz "main" # string offset=214
.ident "clang version 18.0.0 (git@github.com:llvm/llvm-project.git 37d6c1cc7d4dd3a8a47ba62254bc88521bd50d66)"
.section ".note.GNU-stack","",@progbits
.addrsig
.section .debug_line,"",@progbits
.Lline_table_start0:

bolt/test/X86/dwarf4-invalid-reference-die-offset-with-internal-dwarf-error-invalid-die.s

  • This file was added.
PropertyOld ValueNew Value
File Modenull100755
# REQUIRES: system-linux
# RUN: llvm-mc -dwarf-version=4 -filetype=obj -triple x86_64-unknown-linux %s -o %t1.o
# RUN: %clang %cflags -dwarf-4 %t1.o -o %t.exe -Wl,-q
# RUN: llvm-bolt %t.exe -o %t.bolt --update-debug-sections -v 1 &> %tlog.txt
# RUN: cat %tlog.txt | FileCheck --check-prefix=CHECKBOLT %s
# RUN: llvm-dwarfdump --show-form --verbose --debug-info %t.exe | FileCheck --check-prefix=CHECK %s
# Tests BOLT does not assert when DIE reference is invalid.
# CHECKBOLT: BOLT-WARNING: [internal-dwarf-error]: invalid referenced DIE at offset:
# CHECKBOLT-NOT: Referenced DIE offsets not in .debug_info
# CHECK: DW_TAG_variable
# CHECK-NEXT: DW_AT_name
# CHECK-NEXT: DW_AT_type [DW_FORM_ref4] (cu + 0x008f => {0x0000008f})
# Assembly manually modified
# struct pair {int i; int j; };
# static pair p;
# int load() {
# return p.i + p.j;
# }
# void store(int i, int j) {
# p.i = i;
# p.j = j;
# }
# int main() {
# return 0;
# }
.text
.file "main.cpp"
.file 1 "/invalidWithin" "main.cpp"
.section .text._Z4loadv,"ax",@progbits
.globl _Z4loadv # -- Begin function _Z4loadv
.p2align 4, 0x90
.type _Z4loadv,@function
_Z4loadv: # @_Z4loadv
.Lfunc_begin0:
.cfi_startproc
# %bb.0: # %entry
.loc 1 4 20 prologue_end # main.cpp:4:20
movl _ZL1p.1(%rip), %eax
.loc 1 4 16 is_stmt 0 # main.cpp:4:16
addl _ZL1p.0(%rip), %eax
.loc 1 4 5 # main.cpp:4:5
retq
.Ltmp0:
.Lfunc_end0:
.size _Z4loadv, .Lfunc_end0-_Z4loadv
.cfi_endproc
# -- End function
.section .text._Z5storeii,"ax",@progbits
.globl _Z5storeii # -- Begin function _Z5storeii
.p2align 4, 0x90
.type _Z5storeii,@function
_Z5storeii: # @_Z5storeii
.Lfunc_begin1:
.cfi_startproc
# %bb.0: # %entry
#DEBUG_VALUE: store:i <- $edi
#DEBUG_VALUE: store:j <- $esi
.loc 1 7 9 prologue_end is_stmt 1 # main.cpp:7:9
movl %edi, _ZL1p.0(%rip)
.loc 1 8 9 # main.cpp:8:9
movl %esi, _ZL1p.1(%rip)
.loc 1 9 1 # main.cpp:9:1
retq
.Ltmp1:
.Lfunc_end1:
.size _Z5storeii, .Lfunc_end1-_Z5storeii
.cfi_endproc
# -- End function
.section .text.main,"ax",@progbits
.globl main # -- Begin function main
.p2align 4, 0x90
.type main,@function
main: # @main
.Lfunc_begin2:
.cfi_startproc
# %bb.0: # %entry
.loc 1 11 1 prologue_end # main.cpp:11:1
xorl %eax, %eax
retq
.Ltmp2:
.Lfunc_end2:
.size main, .Lfunc_end2-main
.cfi_endproc
# -- End function
.type _ZL1p.0,@object # @_ZL1p.0
.local _ZL1p.0
.comm _ZL1p.0,4,4
.type _ZL1p.1,@object # @_ZL1p.1
.local _ZL1p.1
.comm _ZL1p.1,4,4
.section .debug_abbrev,"",@progbits
.byte 1 # Abbreviation Code
.byte 17 # DW_TAG_compile_unit
.byte 1 # DW_CHILDREN_yes
.byte 37 # DW_AT_producer
.byte 14 # DW_FORM_strp
.byte 19 # DW_AT_language
.byte 5 # DW_FORM_data2
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 16 # DW_AT_stmt_list
.byte 23 # DW_FORM_sec_offset
.byte 27 # DW_AT_comp_dir
.byte 14 # DW_FORM_strp
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 85 # DW_AT_ranges
.byte 23 # DW_FORM_sec_offset
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 2 # Abbreviation Code
.byte 52 # DW_TAG_variable
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 2 # DW_AT_location
.byte 24 # DW_FORM_exprloc
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 3 # Abbreviation Code
.byte 19 # DW_TAG_structure_type
.byte 1 # DW_CHILDREN_yes
.byte 54 # DW_AT_calling_convention
.byte 11 # DW_FORM_data1
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 4 # Abbreviation Code
.byte 13 # DW_TAG_member
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 56 # DW_AT_data_member_location
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 5 # Abbreviation Code
.byte 36 # DW_TAG_base_type
.byte 0 # DW_CHILDREN_no
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 62 # DW_AT_encoding
.byte 11 # DW_FORM_data1
.byte 11 # DW_AT_byte_size
.byte 11 # DW_FORM_data1
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 6 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 0 # DW_CHILDREN_no
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 7 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 1 # DW_CHILDREN_yes
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 110 # DW_AT_linkage_name
.byte 14 # DW_FORM_strp
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 8 # Abbreviation Code
.byte 5 # DW_TAG_formal_parameter
.byte 0 # DW_CHILDREN_no
.byte 2 # DW_AT_location
.byte 24 # DW_FORM_exprloc
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 9 # Abbreviation Code
.byte 46 # DW_TAG_subprogram
.byte 0 # DW_CHILDREN_no
.byte 17 # DW_AT_low_pc
.byte 1 # DW_FORM_addr
.byte 18 # DW_AT_high_pc
.byte 6 # DW_FORM_data4
.byte 64 # DW_AT_frame_base
.byte 24 # DW_FORM_exprloc
.ascii "\227B" # DW_AT_GNU_all_call_sites
.byte 25 # DW_FORM_flag_present
.byte 3 # DW_AT_name
.byte 14 # DW_FORM_strp
.byte 58 # DW_AT_decl_file
.byte 11 # DW_FORM_data1
.byte 59 # DW_AT_decl_line
.byte 11 # DW_FORM_data1
.byte 73 # DW_AT_type
.byte 19 # DW_FORM_ref4
.byte 63 # DW_AT_external
.byte 25 # DW_FORM_flag_present
.byte 0 # EOM(1)
.byte 0 # EOM(2)
.byte 0 # EOM(3)
.section .debug_info,"",@progbits
.Lcu_begin0:
.long .Ldebug_info_end0-.Ldebug_info_start0 # Length of Unit
.Ldebug_info_start0:
.short 4 # DWARF version number
.long .debug_abbrev # Offset Into Abbrev. Section
.byte 8 # Address Size (in bytes)
.byte 1 # Abbrev [1] 0xb:0xd9 DW_TAG_compile_unit
.long .Linfo_string0 # DW_AT_producer
.short 33 # DW_AT_language
.long .Linfo_string1 # DW_AT_name
.long .Lline_table_start0 # DW_AT_stmt_list
.long .Linfo_string2 # DW_AT_comp_dir
.quad 0 # DW_AT_low_pc
.long .Ldebug_ranges0 # DW_AT_ranges
.byte 2 # Abbrev [2] 0x2a:0x26 DW_TAG_variable
.long .Linfo_string3 # DW_AT_name
.long 143 # DW_AT_type --> Modified manually s/80/143
.byte 1 # DW_AT_decl_file
.byte 2 # DW_AT_decl_line
.byte 22 # DW_AT_location
.byte 3
.quad _ZL1p.0
.byte 147
.byte 4
.byte 3
.quad _ZL1p.1
.byte 147
.byte 4
.long .Linfo_string8 # DW_AT_linkage_name
.byte 3 # Abbrev [3] 0x50:0x22 DW_TAG_structure_type
.byte 5 # DW_AT_calling_convention
.long .Linfo_string7 # DW_AT_name
.byte 8 # DW_AT_byte_size
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 4 # Abbrev [4] 0x59:0xc DW_TAG_member
.long .Linfo_string4 # DW_AT_name
.long 114 # DW_AT_type
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 0 # DW_AT_data_member_location
.byte 4 # Abbrev [4] 0x65:0xc DW_TAG_member
.long .Linfo_string6 # DW_AT_name
.long 114 # DW_AT_type
.byte 1 # DW_AT_decl_file
.byte 1 # DW_AT_decl_line
.byte 4 # DW_AT_data_member_location
.byte 0 # End Of Children Mark
.byte 5 # Abbrev [5] 0x72:0x7 DW_TAG_base_type
.long .Linfo_string5 # DW_AT_name
.byte 5 # DW_AT_encoding
.byte 4 # DW_AT_byte_size
.byte 6 # Abbrev [6] 0x79:0x1d DW_TAG_subprogram
.quad .Lfunc_begin0 # DW_AT_low_pc
.long .Lfunc_end0-.Lfunc_begin0 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string9 # DW_AT_linkage_name
.long .Linfo_string10 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 3 # DW_AT_decl_line
.long 114 # DW_AT_type
# DW_AT_external
.byte 7 # Abbrev [7] 0x96:0x34 DW_TAG_subprogram
.quad .Lfunc_begin1 # DW_AT_low_pc
.long .Lfunc_end1-.Lfunc_begin1 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string11 # DW_AT_linkage_name
.long .Linfo_string12 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
# DW_AT_external
.byte 8 # Abbrev [8] 0xaf:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 85
.long .Linfo_string4 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.long 114 # DW_AT_type
.byte 8 # Abbrev [8] 0xbc:0xd DW_TAG_formal_parameter
.byte 1 # DW_AT_location
.byte 84
.long .Linfo_string6 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 6 # DW_AT_decl_line
.long 114 # DW_AT_type
.byte 0 # End Of Children Mark
.byte 9 # Abbrev [9] 0xca:0x19 DW_TAG_subprogram
.quad .Lfunc_begin2 # DW_AT_low_pc
.long .Lfunc_end2-.Lfunc_begin2 # DW_AT_high_pc
.byte 1 # DW_AT_frame_base
.byte 87
# DW_AT_GNU_all_call_sites
.long .Linfo_string13 # DW_AT_name
.byte 1 # DW_AT_decl_file
.byte 10 # DW_AT_decl_line
.long 114 # DW_AT_type
# DW_AT_external
.byte 0 # End Of Children Mark
.Ldebug_info_end0:
.section .debug_ranges,"",@progbits
.Ldebug_ranges0:
.quad .Lfunc_begin0
.quad .Lfunc_end0
.quad .Lfunc_begin1
.quad .Lfunc_end1
.quad .Lfunc_begin2
.quad .Lfunc_end2
.quad 0
.quad 0
.section .debug_str,"MS",@progbits,1
.Linfo_string0:
.asciz "clang version 18.0.0 (git@github.com:llvm/llvm-project.git 37d6c1cc7d4dd3a8a47ba62254bc88521bd50d66)" # string offset=0
.Linfo_string1:
.asciz "main.cpp" # string offset=101
.Linfo_string2:
.asciz "/invalidWithin" # string offset=110
.Linfo_string3:
.asciz "p" # string offset=162
.Linfo_string4:
.asciz "i" # string offset=164
.Linfo_string5:
.asciz "int" # string offset=166
.Linfo_string6:
.asciz "j" # string offset=170
.Linfo_string7:
.asciz "pair" # string offset=172
.Linfo_string8:
.asciz "_ZL1p" # string offset=177
.Linfo_string9:
.asciz "_Z4loadv" # string offset=183
.Linfo_string10:
.asciz "load" # string offset=192
.Linfo_string11:
.asciz "_Z5storeii" # string offset=197
.Linfo_string12:
.asciz "store" # string offset=208
.Linfo_string13:
.asciz "main" # string offset=214
.ident "clang version 18.0.0 (git@github.com:llvm/llvm-project.git 37d6c1cc7d4dd3a8a47ba62254bc88521bd50d66)"
.section ".note.GNU-stack","",@progbits
.addrsig
.section .debug_line,"",@progbits
.Lline_table_start0: