https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89925
--- Comment #16 from anlauf at gcc dot gnu.org --- BTW: r12-5767 backports cleanly to 11-branch and regtests cleanly. I could push it if there are no objections, so that we can finally close this one.