https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115027
--- Comment #3 from Dr. David Alan Gilbert <dave at treblig dot org> --- (For my own keeping track, Jakub replied to that patch with a suggestion: https://inbox.sourceware.org/gcc-patches/Zwlg8VYJXQmEC65C@tucnak/ )