[Bug tree-optimization/112495] [11/12/13/14 Regression] ICE: verify_gimple failed (after vectorizer) with named address space (__seg_gs )

[rguenth at gcc dot gnu.org via Gcc-bugs]

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.