https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114116
--- Comment #13 from Lukas Grätz <lukas.gra...@tu-darmstadt.de> --- (In reply to H.J. Lu from comment #12) > (In reply to Lukas Grätz from comment #11) > > > > I applied it, double checked, make distclean, configure, make again. > > > > But your result seems different. Have you applied Jakub Jelinek's patch to > > No. > > > save %rbp? I applied both patches. Perhaps there was some subtle > > merge-conflict with the two patches. > > Please try just my patch. Thanks, that worked!