1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s 2 3; CHECK: Attribute 'inalloca' does not support unsized types! 4; CHECK-NEXT: ptr @f 5define void @f(ptr inalloca(token)) { 6 ret void 7} 8