Sign in
llvm
/
llvm-project
/
llvm
/
2a5b4fe5c623a1be10b71db4120845054409f511
/
.
/
test
/
Verifier
/
unsized-types-load.ll
blob: 0f6a187cdd8f9119bc189a9b2c955ece207c8fb5 [
file
] [
log
] [
blame
]
; RUN: not opt -verify < %s 2>&1 | FileCheck %s
%X
=
type
opaque
define
void
@f_0
(
%X
*
%ptr
)
{
%t
=
load
%X
,
%X
*
%ptr
ret
void
; CHECK: loading unsized types is not allowed
; CHECK-NEXT: %t = load %X, %X* %ptr
}