https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95159
--- Comment #1 from Paco Arjonilla <pacoarjonilla at yahoo dot es> --- GCC 10.1, not GCC 10.0.1
pacoarjonilla at yahoo dot es Fri, 15 May 2020 20:17:24 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95159
--- Comment #1 from Paco Arjonilla <pacoarjonilla at yahoo dot es> --- GCC 10.1, not GCC 10.0.1