https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116981
--- Comment #7 from mauro russo <ing.russomauro at gmail dot com> --- ok. Maybe the comment in PR 32071 about this as duplicated may also be removed.
ing.russomauro at gmail dot com via Gcc-bugs Sun, 06 Oct 2024 23:25:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116981
--- Comment #7 from mauro russo <ing.russomauro at gmail dot com> --- ok. Maybe the comment in PR 32071 about this as duplicated may also be removed.