[Bug ipa/116296] [13/14/15/16 Regression] internal compiler error: in merge, at ipa-modref-tree.cc:176 at -O3 since r12-4227-g44b61586d8640b

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116296

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|hubicka at gcc dot gnu.org         |rguenth at gcc dot gnu.org

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think one issue is that modref tracks pram offsets in bytes but the ao_ref
does in bits and modref_access_node::contains turns bytes into bits w/o
checking for overflow.  This makes this->contains (a) inconsistent with
a.contains (*this).

(gdb) p a->contains (*n)
$22 = true
(gdb) p n->contains (*a)
$23 = false

Turning this all into poly_offset_ints fixes the issue for me.