https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116261
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> ---
Reverted in commit r15-3123-gf9f599a44e3156a5f5679adc048ec6ff2f44cc0e
Closing as fixed
Paul
