1; RUN: not llvm-as < %s 2>&1 | FileCheck %s 2 3; CHECK: [[@LINE+1]]:51: error: expected '{' in function body 4define ptr @test_mustprogress(i8 %a) mustprogress 8 { 5 ret void 6} 7 8