| ; The assembler should catch an undefined argument type . | |
| ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s | |
| ; CHECK: use of undefined type named 'typedef.bc_struct' | |
| ; %typedef.bc_struct = type opaque | |
| define i1 @someFunc(ptr %tmp.71.reload, %typedef.bc_struct %n1) { | |
| ret i1 true | |
| } |