1; RUN: not llvm-as -disable-output < %s -o /dev/null 2>&1 | FileCheck %s
2
3define void @test1(float* %a) {
4entry:
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}
14