regenerate gdbarch.c.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index cb2e21d9d0386639dd999dae72727d4efa21bd15..a5b11f7e77335fc75d16195b85aae5d66217247a 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2001-06-16  Andrew Cagney  <ac131313@redhat.com>
+
+       * gdbarch.c: Regenerate.  Out-of-sync with gdbarch.sh.
+
 2001-06-15  Andrew Cagney  <ac131313@redhat.com>
 
        * gdbarch.sh (CANNOT_FETCH_REGISTER): Multi-arch.

diff --git a/gdb/gdbarch.c b/gdb/gdbarch.c
index b0a0203782beb744a065ff451a67d47716184ba2..fc23d3efec690bff63a849794ee652a54b3e2849 100644 (file)
--- a/gdb/gdbarch.c
+++ b/gdb/gdbarch.c
@@ -1053,14 +1053,14 @@ gdbarch_dump (struct gdbarch *gdbarch, struct ui_file *file)
 #ifdef CANNOT_FETCH_REGISTER
   fprintf_unfiltered (file,
                       "gdbarch_dump: %s # %s\n",
-                      "CANNOT_FETCH_REGISTER(reg_nr)",
-                      XSTRING (CANNOT_FETCH_REGISTER (reg_nr)));
+                      "CANNOT_FETCH_REGISTER(regnum)",
+                      XSTRING (CANNOT_FETCH_REGISTER (regnum)));
 #endif
 #ifdef CANNOT_STORE_REGISTER
   fprintf_unfiltered (file,
                       "gdbarch_dump: %s # %s\n",
-                      "CANNOT_STORE_REGISTER(reg_nr)",
-                      XSTRING (CANNOT_STORE_REGISTER (reg_nr)));
+                      "CANNOT_STORE_REGISTER(regnum)",
+                      XSTRING (CANNOT_STORE_REGISTER (regnum)));
 #endif
 #ifdef USE_GENERIC_DUMMY_FRAMES
   fprintf_unfiltered (file,
@@ -3089,14 +3089,14 @@ set_gdbarch_register_bytes_ok (struct gdbarch *gdbarch,
 }
 
 int
-gdbarch_cannot_fetch_register (struct gdbarch *gdbarch, int reg_nr)
+gdbarch_cannot_fetch_register (struct gdbarch *gdbarch, int regnum)
 {
   if (gdbarch->cannot_fetch_register == 0)
     internal_error (__FILE__, __LINE__,
                     "gdbarch: gdbarch_cannot_fetch_register invalid");
   if (gdbarch_debug >= 2)
     fprintf_unfiltered (gdb_stdlog, "gdbarch_cannot_fetch_register called\n");
-  return gdbarch->cannot_fetch_register (reg_nr);
+  return gdbarch->cannot_fetch_register (regnum);
 }
 
 void
@@ -3107,14 +3107,14 @@ set_gdbarch_cannot_fetch_register (struct gdbarch *gdbarch,
 }
 
 int
-gdbarch_cannot_store_register (struct gdbarch *gdbarch, int reg_nr)
+gdbarch_cannot_store_register (struct gdbarch *gdbarch, int regnum)
 {
   if (gdbarch->cannot_store_register == 0)
     internal_error (__FILE__, __LINE__,
                     "gdbarch: gdbarch_cannot_store_register invalid");
   if (gdbarch_debug >= 2)
     fprintf_unfiltered (gdb_stdlog, "gdbarch_cannot_store_register called\n");
-  return gdbarch->cannot_store_register (reg_nr);
+  return gdbarch->cannot_store_register (regnum);
 }
 
 void