https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144
--- Comment #12 from Arseny Solokha <asolokha at gmx dot com> --- I believe this PR can be closed, per comment 9 (and likely comment 7).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71144
--- Comment #12 from Arseny Solokha <asolokha at gmx dot com> --- I believe this PR can be closed, per comment 9 (and likely comment 7).