; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s | |
declare void @doit(i64* inalloca(i64) %a) | |
define void @a() { | |
entry: | |
%a = alloca [2 x i32] | |
%b = bitcast [2 x i32]* %a to i64* | |
call void @doit(i64* inalloca(i64) %b) | |
; CHECK: inalloca argument for call has mismatched alloca | |
ret void | |
} |