https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108900
--- Comment #8 from Ovidiu Panait <ovidiu.panait at windriver dot com> --- Jeremy, could you please consider sending the fix in comment 6 to the gcc-patches mailing list, to try to get the fix merged? It would be very useful to finally have an official fix for this corner case.