https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113197
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|rguenth at gcc dot gnu.org |hubicka at gcc dot
gnu.org
--- Comment #14 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
As discussed in PR 117489 the logic of that assert is that you need to read
directly the memory to be able to do something about it indirectly, which is
what assert is checking. There is problem with aliases not all having
pure/const attributes set correctly, which is something modref's summary
cleanup does not consider.
