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

   1 ; RUN: llvm-as -disable-output <%s 2>&1 | FileCheck %s
   2 ; CHECK: invalid #dbg record address/value
   3 ; CHECK-NEXT: #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     #dbg_value(!"", !DILocalVariable(scope: !1), !DIExpression(), !DILocation(scope: !1))
  11   ret void
  12 }
  13
  14
  15 !llvm.module.flags = !{!0}
  16 !0 = !{i32 2, !"Debug Info Version", i32 3}
  17 !1 = distinct !DISubprogram()