https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113762
Bug ID: 113762
Summary: TYPE_ADDR_SPACE requirements on tcc_reference trees
not documented/checked
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: ---
There's not much documentation on what part of a tcc_reference chain
(handled_component_p + base) needs to reflect the TYPE_ADDR_SPACE in effect.
RTL expansion looks at the base of the chain but for example
build_fold_addr_expr_loc simply looks at the outermost object.
There's also no IL checking in place to verify consistency within such a chain.
And test coverage isn't too great for address-spaces in general.
