https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65894
--- Comment #31 from Jürgen Reuter <juergen.reuter at desy dot de> --- Shall I do any checks now? It seems that Mikael's patch is doing the right thing, and you found the one that breaks it again.
juergen.reuter at desy dot de Fri, 08 May 2015 12:04:42 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65894
--- Comment #31 from Jürgen Reuter <juergen.reuter at desy dot de> --- Shall I do any checks now? It seems that Mikael's patch is doing the right thing, and you found the one that breaks it again.