https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79051
--- Comment #13 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #11 from Martin Sebor <msebor at gcc dot gnu.org> --- > Thanks. The patch looks good to me. You should be able to commit the patch > without approval. Indeed, done. Rainer