https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86262
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Though I did search, right after I submitted the bug I saw it is already
> filed,
> e.g. as Bug 85534. Sorry for that, I guess my report does not add much.
I am not sure there is no other duplicates.
*** This bug has been marked as a duplicate of bug 85534 ***
