xref: /llvm-project/llvm/test/Verifier/opaque-ptr-invalid.ll (revision edb2fc6dab2cf04779959829434e9e8572d48a26)
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