1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s 2 3 4 declare void @doit(i64* inalloca %a) 5 6 define void @a() { 7 entry: 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