https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113450
--- Comment #6 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- > I pushed a slightly different change, but it should be equivalent. Please > reopen if I messed it up :-) The variant worked just fine. Thanks.