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

--- Comment #2 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
I have the simple patch ready to push. Going to wait just a bit in case Andre
has other information.

Reply via email to