https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97368
Fabio <pedretti.fabio at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #2 from Fabio <pedretti.fabio at gmail dot com> ---
OK, this is a known bug:
https://bugs.launchpad.net/ubuntu/+source/gcc-10/+bug/1890435
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Closing as duplicate.
*** This bug has been marked as a duplicate of bug 97323 ***
