https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78300
--- Comment #11 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Not yet. I won't have time to apply the patch until > tomorrow or Saturday. I posted the patch to bugzilla > so it does not get lost. Once it is in the source tree, > you can use svn to pull the source down. You can also pull the source down and apply the patch yourself.
