Home | History | Annotate | Download | only in Verifier
      1 ; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s
      2 ; CHECK: invalid llvm.dbg.value intrinsic variable
      3 ; CHECK-NEXT: call void @llvm.dbg.value({{.*}})
      4 ; CHECK-NEXT: !""
      5 ; CHECK: warning: ignoring invalid debug info
      6 
      7 define void @foo(i32 %a) {
      8 entry:
      9   %s = alloca i32
     10   call void @llvm.dbg.value(metadata i32* %s, i64 0, metadata !"", metadata !DIExpression()), !dbg !DILocation(scope: !1)
     11   ret void
     12 }
     13 
     14 declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
     15 
     16 !llvm.module.flags = !{!0}
     17 !0 = !{i32 2, !"Debug Info Version", i32 3}
     18 !1 = distinct !DISubprogram()
     19