diff options
| author | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2015-03-24 17:32:19 +0000 |
|---|---|---|
| committer | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2015-03-24 17:32:19 +0000 |
| commit | fc25da101c40e2797aeb8f2e03fdc52ce71adb63 (patch) | |
| tree | 5e88df63381a7e92babec1a8653d245658a5468f /llvm/test/Verifier | |
| parent | f238c78c4c043d1c289f7bb91c8b0d8c71f1c7c0 (diff) | |
| download | bcm5719-llvm-fc25da101c40e2797aeb8f2e03fdc52ce71adb63.tar.gz bcm5719-llvm-fc25da101c40e2797aeb8f2e03fdc52ce71adb63.zip | |
Verifier: Start recursing into !dbg attachments
The main verifier already recurses through the other entry points, so we
might as well descend here too.
This temporarily duplicates some work already done in
`verifyDebugInfo()`, but eventually I'll be removing the other side.
llvm-svn: 233095
Diffstat (limited to 'llvm/test/Verifier')
| -rw-r--r-- | llvm/test/Verifier/dbg.ll | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/llvm/test/Verifier/dbg.ll b/llvm/test/Verifier/dbg.ll index 20b80ff2efe..3cff1e05157 100644 --- a/llvm/test/Verifier/dbg.ll +++ b/llvm/test/Verifier/dbg.ll @@ -1,12 +1,18 @@ ; RUN: not llvm-as -disable-output <%s 2>&1 | FileCheck %s define void @foo() { - ret void, !dbg !{} -} +entry: + br label %exit, !dbg !MDLocation(scope: !MDSubprogram(), inlinedAt: !{}) +; CHECK: inlined-at should be a location +; CHECK-NEXT: !{{[0-9]+}} = !MDLocation(line: 0, scope: !{{[0-9]+}}, inlinedAt: ![[IA:[0-9]+]]) +; CHECK-NEXT: ![[IA]] = !{} +exit: + ret void, !dbg !{} ; CHECK: invalid !dbg metadata attachment ; CHECK-NEXT: ret void, !dbg ![[LOC:[0-9]+]] ; CHECK-NEXT: ![[LOC]] = !{} +} !llvm.module.flags = !{!0} !0 = !{i32 2, !"Debug Info Version", i32 3} |
