This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Oct 2008 14:30:29 -0000
- Subject: [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
- References: <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #7 from rguenth at gcc dot gnu dot org 2008-10-01 14:30 -------
Note that C restrict semantics make it necessary to properly track what
pointer is based on what other pointer. For this we miss both annotations
and a (simple) propagator that propagates this information, maybe as part
of PTA analysis.
Note that the current implementation has both missed-optimization and latent
wrong-code issues.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187