http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58270
--- Comment #3 from Krzysztof Strasburger <strasbur at chkw386 dot ch.pwr.wroc.pl> --- The compiler option -fno-tree-dse does the job for me. Florian - thank you for using the term "dead store" ;). I'm not sure whether it should be enabled by default for a C compiler, but I'm not competent enough even to suggest a solution.