http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50213
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-09-06 17:08:57 UTC --- It seems that in the loop it is changed then again by RTL fwprop2. Why it isn't done by fwprop2 with -fno-tree-forwprop is a question...