http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49367
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2011.06.12 11:32:54
Ever Confirmed|0 |1
Severity|trivial |enhancement
--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-12
11:32:54 UTC ---
As a1 and a2 are not restrict qualified they may point to the same object
and thus the "two" restrict pointers are based on each other.
Our pointer analysis isn't flow-sensitive so it doesn't see the disambiguating
test.
