https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71621
--- Comment #5 from Arseny Solokha <asolokha at gmx dot com> --- Is it OK to close this PR now?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71621
--- Comment #5 from Arseny Solokha <asolokha at gmx dot com> --- Is it OK to close this PR now?