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.