https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88596
--- Comment #15 from Arseny Solokha <asolokha at gmx dot com> --- In case it's still worth it to track the underlying issue somewhere, does it make sense to open a new PR just for the issue highlighted by Vladimir in comment 8? Otherwise, I suppose this PR can be safely closed. The immediate issue was fixed long ago, as noted by Jakub in comment 7.
