Verifier: Check fields of MDVariable subclasses

[oota-llvm.git] / test / Verifier / dbg.ll

diff --git a/test/Verifier/dbg.ll b/test/Verifier/dbg.ll
index 20b80ff2efe2f064bc8d531af6d1a1a2fa92e289..3cff1e0515767d3c0f3e7d1f3a826b49acfa01b1 100644 (file)
--- a/test/Verifier/dbg.ll
+++ b/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}