Constify objfile::original_name

I noticed that objfile::original_name could be a "const char *" rather
than a plain "char *".  This patch implements this change.  Tested by
rebuilding.

gdb/ChangeLog
2019-10-16  Tom Tromey  <tom@tromey.com>

	* objfiles.h (struct objfile) <original_name>: Now const.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ba028ed230f68eefa56cd2fe5b21888e505b8fb3..ced508f1f0a124c4eb8a0ba73e89b5f6874abfcd 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2019-10-16  Tom Tromey  <tom@tromey.com>
+
+       * objfiles.h (struct objfile) <original_name>: Now const.
+
 2019-10-16  Christian Biesinger  <cbiesinger@google.com>
 
        * gdbsupport/gdb_setjmp.h (SIGSETJMP): Allow passing in the value to

diff --git a/gdb/objfiles.h b/gdb/objfiles.h
index dbd06c01e26448dd64d3dfc3aae176a746ed5ba5..2d92120870d808339cb3d903a5e41310b9331716 100644 (file)
--- a/gdb/objfiles.h
+++ b/gdb/objfiles.h
@@ -483,7 +483,7 @@ struct objfile
      This pointer is never NULL.  This does not have to be freed; it is
      guaranteed to have a lifetime at least as long as the objfile.  */
 
-  char *original_name = nullptr;
+  const char *original_name = nullptr;
 
   CORE_ADDR addr_low = 0;