https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106515
--- Comment #6 from Jose E. Marchesi <jemarch at gcc dot gnu.org> --- (In reply to Richard Biener from comment #5) > Fixed I assume. Yes indeed. Sorry about leaving all these bugs in the "open" state. Only recently I managed to get my bugzilla accounts consolidated in a @gcc.gnu.org one, so I can have editbugs.