------- Additional Comments From rth at gcc dot gnu dot org 2005-03-10 13:57
-------
I'll agree that modified_{in,between}_p need to check the address for changes,
since that controls the ultimate value that is accessed.
I do not agree that alias.c needs to check the address for changes. In that
case we're trying to determine if assigning a value to one memory reference
can possibly change the value of another memory reference. Which is false for
*all* read-only memory.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20331
