https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83872
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Duplicate of pr83837. Patch posted at
https://gcc.gnu.org/bugzilla/attachment.cgi?id=43138&action=edit.
*** This bug has been marked as a duplicate of bug 83837 ***
