test/Verifier/opaque-ptr-invalid.ll

; RUN: not opt -passes=verify -opaque-pointers < %s 2>&1 | FileCheck %s

; CHECK: Attribute 'inalloca' does not support unsized types!
; CHECK-NEXT: ptr @f
define void @f(ptr inalloca(token)) {
    ret void
}