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