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