Inline command_loop in read_command_line
authorPedro Alves <palves@redhat.com>
Tue, 12 Apr 2016 15:49:29 +0000 (16:49 +0100)
committerPedro Alves <palves@redhat.com>
Tue, 12 Apr 2016 15:50:41 +0000 (16:50 +0100)
read_command_line is the only caller, and here we can assume we're
reading a regular file, not stdin.

gdb/ChangeLog:
2016-04-12  Pedro Alves  <palves@redhat.com>

* top.c (read_command_file): Inline command_loop here.
(command_loop): Delete.

gdb/ChangeLog
gdb/top.c

index d6e2fe1bf3d47b34313f743d482f90635acc8b90..8cc34745e858d694fab1c49f5ac3918410357ff6 100644 (file)
@@ -1,3 +1,8 @@
+2016-04-12  Pedro Alves  <palves@redhat.com>
+
+       * top.c (read_command_file): Inline command_loop here.
+       (command_loop): Delete.
+
 2016-04-12  Pedro Alves  <palves@redhat.com>
 
        * top.c: Include "gdb_select.h".
index 90a3f481c27d77e0c19967e1df60a6ae9308103e..41ff6b280d86f079c813776cec8dbd2fe0b82d78 100644 (file)
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -283,7 +283,21 @@ read_command_file (FILE *stream)
 
   cleanups = make_cleanup (do_restore_instream_cleanup, instream);
   instream = stream;
-  command_loop ();
+
+  /* Read commands from `instream' and execute them until end of file
+     or error reading instream.  */
+
+  while (instream != NULL && !feof (instream))
+    {
+      char *command;
+
+      /* Get a command-line.  This calls the readline package.  */
+      command = command_line_input (NULL, 0, NULL);
+      if (command == NULL)
+       break;
+      command_handler (command);
+    }
+
   do_cleanups (cleanups);
 }
 \f
@@ -528,25 +542,6 @@ execute_command_to_string (char *p, int from_tty)
   return retval;
 }
 
-/* Read commands from `instream' and execute them
-   until end of file or error reading instream.  */
-
-void
-command_loop (void)
-{
-  while (instream && !feof (instream))
-    {
-      char *command;
-
-      /* Get a command-line.  This calls the readline package.  */
-      command = command_line_input (instream == stdin ?
-                                   get_prompt () : (char *) NULL,
-                                   instream == stdin, "prompt");
-      if (command == NULL)
-       return;
-      command_handler (command);
-    }
-}
 \f
 /* When nonzero, cause dont_repeat to do nothing.  This should only be
    set via prevent_dont_repeat.  */