test/Verifier/llvm.dbg.value-variable.ll

   1 ; RUN: not 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
   6 define void @foo(i32 %a) {
   7 entry:
   8   %s = alloca i32
   9   call void @llvm.dbg.value(metadata i32* %s, i64 0, metadata !"", metadata !DIExpression()), !dbg !DILocation(scope: !1)
  10   ret void
  11 }
  12
  13 declare void @llvm.dbg.value(metadata, i64, metadata, metadata)
  14
  15 !llvm.module.flags = !{!0}
  16 !0 = !{i32 2, !"Debug Info Version", i32 3}
  17 !1 = distinct !DISubprogram()