https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122356
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=119588
Keywords| |openmp
CC| |burnus at gcc dot gnu.org
Resolution|--- |FIXED
Status|UNCONFIRMED |RESOLVED
--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Should be FIXED.
Thanks, Matthew, for the report, debugging, and the patch!