https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97527
--- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- The machine is gcc220.fsffrance.org ; if anybody has an account there and wants to peek into /home/tkoenig to look into more details, be my guest.