2011-10-05 Tristan Gingold <gingold@adacore.com>

        * ada-tasks.c (read_atcb): Make ravenscar_task_name static.
        Extract the ravenscar task name from the symbol for the atcb.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 29a61fe1c1090813db9a854a96146dd53bef35a8..a166d14561ba71c862cafea02c8ccf00ad40858d 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2011-10-05  Tristan Gingold  <gingold@adacore.com>
+
+       * ada-tasks.c (read_atcb): Make ravenscar_task_name static.
+       Extract the ravenscar task name from the symbol for the atcb.
+
 2011-10-04  Paul Koning  <paul_koning@dell.com>
 
        * python/py-type.c (typy_make_iter): Add forward declaration.

diff --git a/gdb/ada-tasks.c b/gdb/ada-tasks.c
index 2673fed6ab743a4f635351e863f75b20206a5af9..8ab5ad5aa630df36fe9a5339b16ace76bf798816 100644 (file)
--- a/gdb/ada-tasks.c
+++ b/gdb/ada-tasks.c
@@ -591,7 +591,7 @@ read_atcb (CORE_ADDR task_id, struct ada_task_info *task_info)
   struct value *entry_calls_value;
   struct value *entry_calls_value_element;
   int called_task_fieldno = -1;
-  const char ravenscar_task_name[] = "Ravenscar task";
+  static const char ravenscar_task_name[] = "Ravenscar task";
   const struct ada_tasks_pspace_data *pspace_data
     = get_ada_tasks_pspace_data (current_program_space);
 
@@ -629,7 +629,31 @@ read_atcb (CORE_ADDR task_id, struct ada_task_info *task_info)
                                            pspace_data->atcb_fieldno.image),
                                sizeof (task_info->name) - 1);
       else
-        strcpy (task_info->name, ravenscar_task_name);
+       {
+         struct minimal_symbol *msym;
+
+         msym = lookup_minimal_symbol_by_pc (task_id);
+         if (msym)
+           {
+             const char *full_name = SYMBOL_LINKAGE_NAME (msym);
+             const char *task_name = full_name;
+             const char *p;
+
+             /* Strip the prefix.  */
+             for (p = full_name; *p; p++)
+               if (p[0] == '_' && p[1] == '_')
+                 task_name = p + 2;
+
+             /* Copy the task name.  */
+             strncpy (task_info->name, task_name, sizeof (task_info->name));
+             task_info->name[sizeof (task_info->name) - 1] = 0;
+           }
+         else
+           {
+             /* No symbol found.  Use a default name.  */
+             strcpy (task_info->name, ravenscar_task_name);
+           }
+       }
     }
   else
     {