1; RUN: not llvm-as < %s 2>&1 | FileCheck %s2 3; CHECK: [[@LINE+1]]:35: error: this attribute does not apply to parameters4define void @test_mustprogress(i8 mustprogress %a) {5 ret void6}7 8
