http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55006
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-11-18 23:11:19 UTC --- Reverting the change to gcc/web.c in revision 192526, i.e., re-removing DF_RD_PRUNE_DEAD_DEFS, fixes the miscompilation without regression. > Well done to us all for probing until we found the root cause of this bug! (from http://gcc.gnu.org/ml/gcc-patches/2012-10/msg01599.html ) may have been overoptimistic;-(