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.
