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