test/Verifier/inalloca-vararg.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare void @h(i32, ...)
   4 define void @i() {
   5   %args = alloca i32, inalloca
   6   call void (i32, ...)* @h(i32 1, i32* inalloca %args, i32 3)
   7 ; CHECK: inalloca isn't on the last argument!
   8   ret void
   9 }