http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59541
--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > > could someone please point me at the original post for this patch? > > I have the same question. I have finally found the answer: final patch at http://gcc.gnu.org/ml/gcc-patches/2013-12/msg01368.html OKed by Jan Hubicka at http://gcc.gnu.org/ml/gcc-patches/2013-12/msg01379.html