https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96966
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pinskia at gcc dot gnu.org --- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I wonder if there is a way in the IR or on the side to add that [s,s+16] cannot overlap with [a,a+16] . This is not just for this case as it might help others place too. But that would be a major change to the aliasing infrastructure I suspect though.