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

--- Comment #2 from Dmitrii Kuvaiskii <dmitrii.kuvais...@tu-dresden.de> ---
Thanks, Martin. This patch indeed solves it.

Reply via email to