Sign in
llvm
/
llvm-project
/
cbd445e4a331114752093746e9d596dafb8580b8
/
.
/
llvm
/
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
}