llvm/test/Verifier/annotation-metadata.ll

   1 ; RUN: not llvm-as -disable-output < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 define void @test1(float* %a) {
   4 entry:
   5 ; CHECK: annotation must have at least one operand
   6   %a.addr = alloca float*, align 8, !annotation !0
   7
   8 ; CHECK-NEXT: operands must be strings
   9   ret void, !annotation !1
  10 }
  11
  12 !0 = !{}
  13 !1 = !{i32 10}