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

   1 ; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s
   2 ; CHECK: invalid llvm.dbg.value intrinsic address/value
   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 !"", i64 0, metadata !DILocalVariable(scope: !1), 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()