https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69857 --- Comment #10 from David Binderman <dcb314 at hotmail dot com> --- (In reply to ktkachov from comment #9) > Yes, would you like to propose a patch to gcc-patches? No thanks. > Or shall I do it? I would very much prefer that.