https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93961
--- Comment #2 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Please check that it is really compiled at -O1. It is: no optimization option beside -O is used.
