[PATCH] D152586: [DebugInfo] Fix detection of hash collision in Apple Accel tables

[Felipe de Azevedo Piovezan via Phabricator via llvm-commits]

fdeazeve updated this revision to Diff 531802.
fdeazeve added a comment.

Fixing commit message to include proper review link


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152586/new/

https://reviews.llvm.org/D152586

Files:
  llvm/lib/DebugInfo/DWARF/DWARFAcceleratorTable.cpp
  llvm/test/DebugInfo/Generic/apple-names-hash-collisions.ll


Index: llvm/test/DebugInfo/Generic/apple-names-hash-collisions.ll
===================================================================
--- /dev/null
+++ llvm/test/DebugInfo/Generic/apple-names-hash-collisions.ll
@@ -0,0 +1,36 @@
+; RUN: %llc_dwarf -accel-tables=Apple -filetype=obj -o %t < %s
+; RUN: llvm-dwarfdump -apple-names %t | FileCheck %s --check-prefix=NUM_HASHES
+; RUN: llvm-dwarfdump  --find=bb --find=cA %t | FileCheck %s --check-prefix=FOUND_VARS
+
+
+; The strings 'bb' and 'cA' hash to the same value under the Apple accelerator
+; table hashing algorithm.
+; We first test that there is exactly one bucket and one hash.
+; Then we check that both values are found.
+
+; NUM_HASHES:      Bucket count: 1
+; NUM_HASHES-NEXT: Hashes count: 1
+; FOUND_VARS: DW_AT_name        ("bb")
+; FOUND_VARS: DW_AT_name        ("cA")
+
+ at bb = global i32 200, align 4, !dbg !0
+ at cA = global i32 10, align 4, !dbg !5
+
+!llvm.module.flags = !{!9, !10, !11, !12, !13}
+!llvm.dbg.cu = !{!2}
+!llvm.ident = !{!15}
+
+!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
+!1 = distinct !DIGlobalVariable(name: "bb", scope: !2, file: !3, line: 1, type: !7, isDefinition: true)
+!2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !3, producer: "", emissionKind: FullDebug, globals: !4)
+!3 = !DIFile(filename: "test.cpp", directory: "blah")
+!4 = !{!0, !5}
+!5 = !DIGlobalVariableExpression(var: !6, expr: !DIExpression())
+!6 = distinct !DIGlobalVariable(name: "cA", scope: !2, file: !3, line: 2, type: !7, isLocal: false, isDefinition: true)
+!7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
+!9 = !{i32 7, !"Dwarf Version", i32 4}
+!10 = !{i32 2, !"Debug Info Version", i32 3}
+!11 = !{i32 1, !"wchar_size", i32 4}
+!12 = !{i32 8, !"PIC Level", i32 2}
+!13 = !{i32 7, !"uwtable", i32 1}
+!15 = !{!"blah"}
Index: llvm/lib/DebugInfo/DWARF/DWARFAcceleratorTable.cpp
===================================================================
--- llvm/lib/DebugInfo/DWARF/DWARFAcceleratorTable.cpp
+++ llvm/lib/DebugInfo/DWARF/DWARFAcceleratorTable.cpp
@@ -333,22 +333,19 @@
     return EmptyRange;
 
   std::optional<uint32_t> StrOffset = readStringOffsetAt(DataOffset);
-
-  // Invalid input or no more strings in this hash.
-  if (!StrOffset || *StrOffset == 0)
-    return EmptyRange;
-
-  std::optional<StringRef> MaybeStr = readStringFromStrSection(*StrOffset);
-  std::optional<uint32_t> NumEntries = this->readU32FromAccel(DataOffset);
-  if (!MaybeStr || !NumEntries)
-    return EmptyRange;
-  if (Key == *MaybeStr) {
+  // Valid input and still have strings in this hash.
+  while (StrOffset && *StrOffset) {
+    std::optional<StringRef> MaybeStr = readStringFromStrSection(*StrOffset);
+    std::optional<uint32_t> NumEntries = this->readU32FromAccel(DataOffset);
+    if (!MaybeStr || !NumEntries)
+      return EmptyRange;
     uint64_t EndOffset = DataOffset + *NumEntries * getHashDataEntryLength();
-    return make_range({*this, DataOffset}, ValueIterator{*this, EndOffset});
+    if (Key == *MaybeStr)
+      return make_range({*this, DataOffset}, ValueIterator{*this, EndOffset});
+    DataOffset = EndOffset;
+    StrOffset = readStringOffsetAt(DataOffset);
   }
 
-  // FIXME: this shouldn't return, we haven't checked all the colliding strings
-  // in the bucket!
   return EmptyRange;
 }
 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D152586.531802.patch
Type: text/x-patch
Size: 3347 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230615/95ad32ec/attachment.bin>