[Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level

[rguenth 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