[DebugInfo] Dump raw data in a case of decoding error of an expression.
authorIgor Kudrin <ikudrin@accesssoftek.com>
Sat, 9 May 2020 03:03:38 +0000 (10:03 +0700)
committerIgor Kudrin <ikudrin@accesssoftek.com>
Sat, 9 May 2020 03:04:22 +0000 (10:04 +0700)
It looks like that was an initial intention, but some code paths in
`DWARFExpression::Operation::extract()` did not initialize `EndOffset`
properly.

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

llvm/lib/DebugInfo/DWARF/DWARFExpression.cpp
llvm/test/DebugInfo/X86/DW_OP_call_ref_unexpected.s
llvm/test/tools/llvm-dwarfdump/X86/verify_broken_exprloc.s

index 605236b..28b24b3 100644 (file)
@@ -120,13 +120,12 @@ static DWARFExpression::Operation::Description getOpDesc(unsigned OpCode) {
 bool DWARFExpression::Operation::extract(DataExtractor Data,
                                          uint8_t AddressSize, uint64_t Offset,
                                          Optional<DwarfFormat> Format) {
+  EndOffset = Offset;
   Opcode = Data.getU8(&Offset);
 
   Desc = getOpDesc(Opcode);
-  if (Desc.Version == Operation::DwarfNA) {
-    EndOffset = Offset;
+  if (Desc.Version == Operation::DwarfNA)
     return false;
-  }
 
   for (unsigned Operand = 0; Operand < 2; ++Operand) {
     unsigned Size = Desc.Op[Operand];
@@ -135,7 +134,6 @@ bool DWARFExpression::Operation::extract(DataExtractor Data,
     if (Size == Operation::SizeNA)
       break;
 
-    EndOffset = Offset;
     switch (Size & ~Operation::SignBit) {
     case Operation::Size1:
       Operands[Operand] = Data.getU8(&Offset);
index 036e044..4a3ac03 100644 (file)
@@ -6,7 +6,7 @@
 
 # CHECK: .debug_loc contents:
 # CHECK-NEXT: 0x00000000:
-# CHECK-NEXT:   (0x0000000000000000, 0x0000000000000015): <decoding error>
+# CHECK-NEXT:   (0x0000000000000000, 0x0000000000000015): <decoding error> 9a ff 00 00 00
 
     .section .debug_loc, "", @progbits
     .quad 0                         # Beginning address offset
index 33a9aed..21a2ec5 100644 (file)
@@ -3,13 +3,13 @@
 ## Check we don't crash when parsing invalid expression opcode.
 # RUN: llvm-dwarfdump %t | FileCheck %s
 # CHECK:      DW_TAG_GNU_call_site_parameter
-# CHECK-NEXT:  DW_AT_location  (<decoding error>)
+# CHECK-NEXT:  DW_AT_location  (<decoding error> ff)
 
 ## Check verifier reports an error.
 # RUN: not llvm-dwarfdump -verify %t 2>&1 | FileCheck %s --check-prefix=VERIFY
 # VERIFY:      DIE contains invalid DWARF expression:
 # VERIFY:      DW_TAG_GNU_call_site_parameter
-# VERIFY-NEXT:   DW_AT_location    (<decoding error>)
+# VERIFY-NEXT:   DW_AT_location    (<decoding error> ff)
 
 .section  .debug_info,"",@progbits
   .long  0x12