https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124259 --- Comment #3 from David Binderman <dcb314 at hotmail dot com> --- (In reply to anlauf from comment #2) > David, would this patch work for you? Looks good to me.