https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100796
--- Comment #10 from Giuseppe D'Angelo <dangelog at gmail dot com> --- Thank you very much.
dangelog at gmail dot com via Gcc-bugs Mon, 21 Jun 2021 09:45:38 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100796
--- Comment #10 from Giuseppe D'Angelo <dangelog at gmail dot com> --- Thank you very much.