Verifier: Check that !dbg attachments have the right type
[oota-llvm.git] / test / Verifier / dbg.ll
1 ; RUN: not llvm-as -disable-output <%s 2>&1 | FileCheck %s
2
3 define void @foo() {
4   ret void, !dbg !{}
5 }
6
7 ; CHECK: invalid !dbg metadata attachment
8 ; CHECK-NEXT: ret void, !dbg ![[LOC:[0-9]+]]
9 ; CHECK-NEXT: ![[LOC]] = !{}
10
11 !llvm.module.flags = !{!0}
12 !0 = !{i32 2, !"Debug Info Version", i32 3}