llvm/test/Verifier/RemoveDI/llvm.dbg.declare-address.ll

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