https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87025 --- Comment #4 from Arseny Solokha <asolokha at gmx dot com> --- David, I know it's off-topic here, but may I also ask you to look at the PR in the See Also section? Thanks.