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