https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109644
Bug ID: 109644
Summary: Missing GIMPLE IL verification
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: rguenth at gcc dot gnu.org
Target Milestone: ---
We are missing GIMPLE IL verification of handled component operations on
registers. There's only a subset of operations allowed and they should
not stack but behave like UNARY ops. The subset allowed is
REALPART_EXPR, IMAGPART_EXPR, VIEW_CONVERT_EXPR and BIT_FIELD_REF. In
particular ops that require aggregate types such as ARRAY_REF and COMPONENT_REF
are not allowed, but the missing IL verification makes those sneak through
with the register wrapped in a VIEW_CONVERT_EXPR producing the aggregate type.
