This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/68787] fipa-pta to interpret restrict
- From: "vries at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 14 Dec 2015 16:35:37 +0000
- Subject: [Bug tree-optimization/68787] fipa-pta to interpret restrict
- Auto-submitted: auto-generated
- References: <bug-68787-4 at http dot gcc dot gnu dot org/bugzilla/>
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.
...