1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2
3
4declare void @doit(ptr inalloca(i64) %a)
5
6define void @a() {
7entry:
8 %a = alloca [2 x i32]
9 call void @doit(ptr inalloca(i64) %a)
10; CHECK: inalloca argument for call has mismatched alloca
11 ret void
12}
13