+2019-05-10 Tom Tromey <tromey@adacore.com>
+
+ * thread.c (print_thread_info): Make "requested_threads" const.
+ * gdbthread.h (print_thread_info): Make "requested_threads"
+ const.
+ * ada-tasks.c (print_ada_task_info): Make "taskno_str" const.
+ * ada-lang.h (print_ada_task_info): Make "taskno_str" const.
+
2019-05-08 Tom Tromey <tom@tromey.com>
* gdbtypes.c (objfile_type_data): Change type.
extern const char *ada_get_tcb_types_info (void);
extern void print_ada_task_info (struct ui_out *uiout,
- char *taskno_str,
+ const char *taskno_str,
struct inferior *inf);
#endif
void
print_ada_task_info (struct ui_out *uiout,
- char *arg_str,
+ const char *arg_str,
struct inferior *inf)
{
struct ada_tasks_inferior_data *data;
all attached PIDs are printed. If both REQUESTED_THREADS is not
NULL and PID is not -1, then the thread is printed if it belongs to
the specified process. Otherwise, an error is raised. */
-extern void print_thread_info (struct ui_out *uiout, char *requested_threads,
+extern void print_thread_info (struct ui_out *uiout,
+ const char *requested_threads,
int pid);
/* Save/restore current inferior/thread/frame. */
/* See gdbthread.h. */
void
-print_thread_info (struct ui_out *uiout, char *requested_threads, int pid)
+print_thread_info (struct ui_out *uiout, const char *requested_threads,
+ int pid)
{
print_thread_info_1 (uiout, requested_threads, 1, pid, 0);
}