http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59445
--- Comment #11 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Started with r205848. Well, the assert at line 2541 has been introduced in the revision: + gcc_assert (gimple_bb (phi) == data->current_loop->header); and it was in the original patch et http://gcc.gnu.org/ml/gcc-patches/2013-12/msg00630.html, but without explanation for it.