* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush
authorDaniel Jacobowitz <drow@false.org>
Sun, 1 May 2005 23:16:46 +0000 (23:16 +0000)
committerDaniel Jacobowitz <drow@false.org>
Sun, 1 May 2005 23:16:46 +0000 (23:16 +0000)
cached frames when changing gdbarch.
* gdbarch.c: Regenerated.

gdb/ChangeLog
gdb/gdbarch.c
gdb/gdbarch.sh

index 2615419..bc9d067 100644 (file)
@@ -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
index 8b13755..4aee649 100644 (file)
@@ -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);
index 01195a4..774c6e2 100755 (executable)
@@ -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);