https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104911
--- Comment #10 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #9 from Iain Buclaw <ibuclaw at gdcproject dot org> --- > This should be fine now. It is indeed: thanks a lot.