https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68787
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-12-14
CC| |rguenth at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from vries at gcc dot gnu.org ---
I'd say this ( https://gcc.gnu.org/ml/gcc-patches/2015-12/msg01260.html )
confirms it:
...
teaching IPA PTA to honor restrict might be an impossible task
though I didn't think much about it other than handling it only for
nonlocal_p functions (for others we should see all incoming args
if IPA PTA works optimally). The restrict tags will leak all over
the place of course and in the end no meaningful cliques may remain.
...
