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