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.

Reply via email to