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 29 Sep 2003 19:56:54 -0000 @@ -2948,8 +2948,10 @@ /* 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 + 19 4 byte GPRS + 18 8 byte FPRs giving a total of 220. 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);