[Bug fortran/41212] [4.5 Regression] miscompilation at -O2

[matz at gcc dot gnu dot org]

------- Comment #7 from matz at gcc dot gnu dot org  2009-09-03 16:39 -------
Hmm, in a sense what forward prop is doing is at least fishy.  It forwards
the casted ADDR_EXPR into some references of y_13, but not into all of them.
As y_13 is a restrict pointer this is always going to be a problem, because
suddenly you have accesses to the object via that restrict pointer and via
something else not based on that pointer.

Either forward prop needs to forward this into _all_ y_13 uses or into none.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41212