https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112495
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot
gnu.org
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
We are creating a runtime alias test between &s and p, which, dependent on
addr_space_subset_p is either not required (address spaces disjunct) or
requires a conversion to the superset.
The defensive fix is to not support runtime alias checks for DRs involving
different address spaces.