RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-18 18:42:46 +02:00
Code Issues Projects Releases Wiki Activity

Visit previously unreachable nodes in the debug info metadata verifier.

Browse Source 
This allows for diagnosing malformed LLVM IR debug info metadata such
as the one in the testcase.

<rdar://problem/59756060>

Differential Revision: https://reviews.llvm.org/D75212
This commit is contained in:
Adrian Prantl 2020-02-26 14:12:30 -08:00
parent 2ffb2b7c4e
commit a3cf46e4b5
2 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/IR/Verifier.cpp
View File

@ -2398,6 +2398,7 @@ void Verifier::visitFunction(const Function &F) {
AssertDI(SP->describes(&F),
"!dbg attachment points at wrong subprogram for function", N, &F,
&I, DL, Scope, SP);
visitMDNode(*SP);
};
for (auto &BB : F)
for (auto &I : BB) {

26
test/Verifier/llvm.loop.cu.ll Normal file
View File

@ -0,0 +1,26 @@
; RUN: llvm-as -disable-output < %s -o /dev/null 2>&1 | FileCheck %s
define void @f() #0 !dbg !6 {
br label %1, !dbg !9, !llvm.loop !10
ret void
}
!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2, !3, !4}
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1)
!1 = !DIFile(filename: "f.c", directory: "./")
!2 = !{i32 2, !"Dwarf Version", i32 4}
!3 = !{i32 2, !"Debug Info Version", i32 3}
!4 = !{i32 7, !"PIC Level", i32 2}
!6 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 7, type: !7, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0)
!7 = !DISubroutineType(types: !8)
!8 = !{}
!9 = !DILocation(line: 18, column: 2, scope: !6)
!10 = distinct !{!10, !11}
!11 = !DILocation(line: 18, column: 2, scope: !12)
!12 = distinct !DISubprogram(name: "f", scope: !1, file: !1, line: 7, type: !7, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !13)
; CHECK: warning: ignoring invalid debug info
; This CU isn't listed in llvm.dbg.cu
!13 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1)