http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46232
--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> 2010-12-15 15:05:40 UTC --- Well, SRA currently propagates sub-accesses across assignments only from the RHS to the LHS. I will have a look at how intrusive it would be to add the other direction as well. Nevertheless, this has been the case in 4.5 as well, how come the testcase does not fail there?