https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83735
--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> --- push comes from 13174 if (!int_registers_saved) 13175 { 13176 /* If saving registers via PUSH, do so now. */ 13177 if (!frame.save_regs_using_mov) 13178 { 13179 ix86_emit_save_regs (); 13180 int_registers_saved = true; 13181 gcc_assert (m->fs.sp_offset == frame.reg_save_offset); 13182 } 13183 (gdb)