* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush

cached frames when changing gdbarch. * gdbarch.c: Regenerated.
22 years ago · 5dbe23a34e
3 changed files with 8 additions and 0 deletions
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@ -1,3 +1,9 @@
+2005-05-01  Daniel Jacobowitz  <dan@codesourcery.com>
+
+	* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush
+	cached frames when changing gdbarch.
+	* gdbarch.c: Regenerated.
+
 2005-05-01  Andrew Cagney  <cagney@gnu.org>

 	* MAINTAINERS: Note that cris, m68k, mn10300, sh64, sparc and vax
--- a/gdb/gdbarch.c
+++ b/gdb/gdbarch.c
@ -4241,6 +4241,7 @@ deprecated_current_gdbarch_select_hack (struct gdbarch *new_gdbarch)
  current_gdbarch_swap_out_hack ();
  current_gdbarch_swap_in_hack (new_gdbarch);
  architecture_changed_event ();
+  flush_cached_frames ();
 }

 extern void _initialize_gdbarch (void);
--- a/gdb/gdbarch.sh
+++ b/gdb/gdbarch.sh
@ -2216,6 +2216,7 @@ deprecated_current_gdbarch_select_hack (struct gdbarch *new_gdbarch)
  current_gdbarch_swap_out_hack ();
  current_gdbarch_swap_in_hack (new_gdbarch);
  architecture_changed_event ();
+  flush_cached_frames ();
 }

 extern void _initialize_gdbarch (void);