https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127841

--- Comment #6 from Bernie Innocenti <bernie at codewiz dot org> ---
Is my proposed fix acceptable? Should I send it separately to gcc-patches@?

Reply via email to