https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94657
Sergei Trofimovich <slyfox at inbox dot ru> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|UNCONFIRMED |RESOLVED
--- Comment #4 from Sergei Trofimovich <slyfox at inbox dot ru> ---
On #gcc Tobias pointed out that similar patch was merged a few days ago:
https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=731c4ce0e93065fb70db5faa2bd6c9c6bad56738
https://gcc.gnu.org/pipermail/gcc-patches/2020-May/546337.html
