http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58270
--- Comment #4 from Krzysztof Strasburger <strasbur at chkw386 dot ch.pwr.wroc.pl> --- Unfortunately, this is not the end of story. I'm going to attach a little more complicated example, for which even using -fno-dse -fno-tree-dse does not help.