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