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