https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81290
--- Comment #9 from Arseny Solokha <asolokha at gmx dot com> --- So given the issue is really fixed, should this PR be closed now?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81290
--- Comment #9 from Arseny Solokha <asolokha at gmx dot com> --- So given the issue is really fixed, should this PR be closed now?