https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119959
--- Comment #11 from Bruno Haible <bruno at clisp dot org> --- (In reply to Sam James from comment #10) > Dupe. See https://gitlab.com/gnu-clisp/clisp/-/merge_requests/12 too. > > *** This bug has been marked as a duplicate of bug 118779 *** Thanks Sam, 1. for the analysis, 2. for finding the said merge request. I had missed it, due to inadequate notification settings on GitLab.