2003-09-29 Andrew Cagney * rs6000-tdep.c (rs6000_gdbarch_init): Set the PowerOpen red zone to 224, not 220. Index: rs6000-tdep.c =================================================================== RCS file: /cvs/src/src/gdb/rs6000-tdep.c,v retrieving revision 1.145.2.2 diff -u -r1.145.2.2 rs6000-tdep.c --- rs6000-tdep.c 18 Aug 2003 20:12:31 -0000 1.145.2.2 +++ rs6000-tdep.c 30 Sep 2003 21:09:02 -0000 @@ -2948,8 +2948,11 @@ /* PPC64 SYSV. */ set_gdbarch_frame_red_zone_size (gdbarch, 288); else if (!sysv_abi && wordsize == 4) - /* PowerOpen / AIX 32 bit. */ - set_gdbarch_frame_red_zone_size (gdbarch, 220); + /* PowerOpen / AIX 32 bit. The saved area or red zone consists of + 19 4 byte GPRS + 18 8 byte FPRs giving a total of 220 bytes. + Problem is, 220 isn't frame (16 byte) aligned. Round it up to + 224. */ + set_gdbarch_frame_red_zone_size (gdbarch, 224); set_gdbarch_deprecated_save_dummy_frame_tos (gdbarch, generic_save_dummy_frame_tos); set_gdbarch_deprecated_push_return_address (gdbarch, ppc_push_return_address); set_gdbarch_believe_pcc_promotion (gdbarch, 1);