https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65548
--- Comment #21 from Jürgen Reuter <juergen.reuter at desy dot de> --- (In reply to vehre from comment #20) > Juergen, could you meanwhile check, that the patch fixes the issue? Damn, it seems my text didn't get posted. Being in Japan at the moment, and sometimes not having the best connection. NO, it doesn't fix the issue. The one I posted yes, but there are two other cases where it fails.
