* progspace.c (remove_program_space): Delete, unused.

	* progspace.h (remove_program_space): Ditto.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index d7da65642cf0ae7cc771581ca8db462dad5be253..2311d7753d89fd9a02c5c720b971662e1c875272 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2014-05-17  Doug Evans  <xdje42@gmail.com>
+
+       * progspace.c (remove_program_space): Delete, unused.
+       * progspace.h (remove_program_space): Ditto.
+
 2014-05-17  Doug Evans  <xdje42@gmail.com>
 
        * inferior.c (prune_inferiors): Fix comment.

diff --git a/gdb/progspace.c b/gdb/progspace.c
index 14507ef11cedaf2b82a5e0c167e27a01123f5def..88f59f48da805a9b6ba4b40d3bf72c3956119df2 100644 (file)
--- a/gdb/progspace.c
+++ b/gdb/progspace.c
@@ -170,30 +170,6 @@ release_program_space (struct program_space *pspace)
   do_cleanups (old_chain);
 }
 
-/* Unlinks PSPACE from the pspace list, and releases it.  */
-
-void
-remove_program_space (struct program_space *pspace)
-{
-  struct program_space *ss, **ss_link;
-
-  ss = program_spaces;
-  ss_link = &program_spaces;
-  while (ss)
-    {
-      if (ss != pspace)
-       {
-         ss_link = &ss->next;
-         ss = *ss_link;
-         continue;
-       }
-
-      *ss_link = ss->next;
-      release_program_space (ss);
-      ss = *ss_link;
-    }
-}
-
 /* Copies program space SRC to DEST.  Copies the main executable file,
    and the main symbol file.  Returns DEST.  */
 

diff --git a/gdb/progspace.h b/gdb/progspace.h
index 4cd593a983e041eada50bf3cebc9ba391c217899..08e04eb024e63aedb054869ca03c7d582422b0ac 100644 (file)
--- a/gdb/progspace.h
+++ b/gdb/progspace.h
@@ -236,9 +236,6 @@ extern struct program_space *current_program_space;
    pointer to the new object.  */
 extern struct program_space *add_program_space (struct address_space *aspace);
 
-/* Release PSPACE and removes it from the pspace list.  */
-extern void remove_program_space (struct program_space *pspace);
-
 /* Returns the number of program spaces listed.  */
 extern int number_of_program_spaces (void);