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

--- Comment #14 from Guillaume <gr.audio at gmail dot com> ---
OK, this patch fixes it for me as well.

Reply via email to