https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93596
--- Comment #7 from Paco Arjonilla <pacoarjonilla at yahoo dot es> --- It's bug error 93596, not 93956. Thanks for the fix.
pacoarjonilla at yahoo dot es Wed, 11 Mar 2020 15:40:25 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93596
--- Comment #7 from Paco Arjonilla <pacoarjonilla at yahoo dot es> --- It's bug error 93596, not 93956. Thanks for the fix.