From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20008 invoked by alias); 20 Feb 2012 16:19:18 -0000 Received: (qmail 19993 invoked by uid 22791); 20 Feb 2012 16:19:14 -0000 X-SWARE-Spam-Status: No, hits=-1.0 required=5.0 tests=AWL,BAYES_00,KAM_STOCKGEN X-Spam-Check-By: sourceware.org Received: from mel.act-europe.fr (HELO mel.act-europe.fr) (194.98.77.210) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 20 Feb 2012 16:18:33 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id AF57A290046; Mon, 20 Feb 2012 17:18:32 +0100 (CET) Received: from mel.act-europe.fr ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id jptgbgthM4nS; Mon, 20 Feb 2012 17:18:32 +0100 (CET) Received: from ulanbator.act-europe.fr (ulanbator.act-europe.fr [10.10.1.67]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mel.act-europe.fr (Postfix) with ESMTP id 9C6C329000A; Mon, 20 Feb 2012 17:18:32 +0100 (CET) Subject: Re: RFA: [Ada] extract known tasks array parameters from symbol table Mime-Version: 1.0 (Apple Message framework v1257) Content-Type: text/plain; charset=us-ascii From: Tristan Gingold In-Reply-To: <20120217163434.GF14803@adacore.com> Date: Mon, 20 Feb 2012 17:11:00 -0000 Cc: "gdb-patches@sourceware.org ml" Content-Transfer-Encoding: quoted-printable Message-Id: <54477479-8A1C-4EC2-BE78-E790828EDD5E@adacore.com> References: <7A06C670-A574-4AE4-A89C-2532671E5F64@adacore.com> <20120213161529.GE3474@adacore.com> <5F4AB963-E82C-4206-B479-E46311CDABB0@adacore.com> <20120216171547.GD14803@adacore.com> <20120217163434.GF14803@adacore.com> To: Joel Brobecker X-IsSubscribed: yes Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2012-02/txt/msg00408.txt.bz2 On Feb 17, 2012, at 5:34 PM, Joel Brobecker wrote: >> So, like this ? > [...] >> gdb/ >> 2012-02-13 Tristan Gingold =20 >>=20 >> * ada-tasks.c (struct ada_tasks_inferior_data): Add >> known_tasks_element and known_tasks_length fields. >> (read_known_tasks_array): Change argument type. Use pointer type >> and number of elements from DATA. Adjust. >> (read_known_tasks_list): Likewise. >> (get_known_tasks_addr): Remove. >> (ada_set_current_inferior_known_tasks_addr): Renamed to ... >> (ada_tasks_inferior_data_sniffer): ... this. Try symtab first. >> Merge former get_known_tasks_addr code. >=20 > Yep! That looks good to me. In fact it wasn't that good. Leads to crash in case the symbol was LOC_UNR= ESOLVED. It is therefore better to use the minsymtab to get the address. = Here is the new version. Tristan. 2012-02-13 Tristan Gingold * ada-tasks.c (struct ada_tasks_inferior_data): Add known_tasks_element and known_tasks_length fields. (read_known_tasks_array): Change argument type. Use pointer type and number of elements from DATA. Adjust. (read_known_tasks_list): Likewise. (get_known_tasks_addr): Remove. (ada_set_current_inferior_known_tasks_addr): Renamed to ... (ada_tasks_inferior_data_sniffer): ... this. Use symtab for element type and array length. Merge former get_known_tasks_addr code. diff --git a/gdb/ada-tasks.c b/gdb/ada-tasks.c index 274d83a..4c0b667 100644 --- a/gdb/ada-tasks.c +++ b/gdb/ada-tasks.c @@ -215,6 +215,12 @@ struct ada_tasks_inferior_data above. */ CORE_ADDR known_tasks_addr; =20 + /* Type of elements of the known task. Usually a pointer. */ + struct type *known_tasks_element; + + /* Number of elements in the known tasks array. */ + unsigned int known_tasks_length; + /* When nonzero, this flag indicates that the task_list field below is up to date. When set to zero, the list has either not been initialized, or has potentially become stale. */ @@ -774,24 +780,21 @@ add_ada_task (CORE_ADDR task_id, struct inferior *inf) it in the current inferior's TASK_LIST. Return non-zero upon success. = */ =20 static int -read_known_tasks_array (CORE_ADDR known_tasks_addr) +read_known_tasks_array (struct ada_tasks_inferior_data *data) { - const int target_ptr_byte =3D - gdbarch_ptr_bit (target_gdbarch) / TARGET_CHAR_BIT; - const int known_tasks_size =3D target_ptr_byte * MAX_NUMBER_OF_KNOWN_TAS= KS; + const int target_ptr_byte =3D TYPE_LENGTH (data->known_tasks_element); + const int known_tasks_size =3D target_ptr_byte * data->known_tasks_lengt= h; gdb_byte *known_tasks =3D alloca (known_tasks_size); int i; =20 /* Build a new list by reading the ATCBs from the Known_Tasks array in the Ada runtime. */ - read_memory (known_tasks_addr, known_tasks, known_tasks_size); - for (i =3D 0; i < MAX_NUMBER_OF_KNOWN_TASKS; i++) + read_memory (data->known_tasks_addr, known_tasks, known_tasks_size); + for (i =3D 0; i < data->known_tasks_length; i++) { - struct type *data_ptr_type =3D - builtin_type (target_gdbarch)->builtin_data_ptr; CORE_ADDR task_id =3D extract_typed_address (known_tasks + i * target_ptr_byte, - data_ptr_type); + data->known_tasks_element); =20 if (task_id !=3D 0) add_ada_task (task_id, current_inferior ()); @@ -804,13 +807,10 @@ read_known_tasks_array (CORE_ADDR known_tasks_addr) the current inferior's TASK_LIST. Return non-zero upon success. */ =20 static int -read_known_tasks_list (CORE_ADDR known_tasks_addr) +read_known_tasks_list (struct ada_tasks_inferior_data *data) { - const int target_ptr_byte =3D - gdbarch_ptr_bit (target_gdbarch) / TARGET_CHAR_BIT; + const int target_ptr_byte =3D TYPE_LENGTH (data->known_tasks_element); gdb_byte *known_tasks =3D alloca (target_ptr_byte); - struct type *data_ptr_type =3D - builtin_type (target_gdbarch)->builtin_data_ptr; CORE_ADDR task_id; const struct ada_tasks_pspace_data *pspace_data =3D get_ada_tasks_pspace_data (current_program_space); @@ -820,8 +820,8 @@ read_known_tasks_list (CORE_ADDR known_tasks_addr) return 0; =20 /* Build a new list by reading the ATCBs. Read head of the list. */ - read_memory (known_tasks_addr, known_tasks, target_ptr_byte); - task_id =3D extract_typed_address (known_tasks, data_ptr_type); + read_memory (data->known_tasks_addr, known_tasks, target_ptr_byte); + task_id =3D extract_typed_address (known_tasks, data->known_tasks_elemen= t); while (task_id !=3D 0) { struct value *tcb_value; @@ -841,51 +841,95 @@ read_known_tasks_list (CORE_ADDR known_tasks_addr) return 1; } =20 -/* Return the address of the variable NAME that contains all the known - tasks maintained in the Ada Runtime. Return NULL if the variable - could not be found, meaning that the inferior program probably does - not use tasking. */ - -static CORE_ADDR -get_known_tasks_addr (const char *name) -{ - struct minimal_symbol *msym; - - msym =3D lookup_minimal_symbol (name, NULL, NULL); - if (msym =3D=3D NULL) - return 0; - - return SYMBOL_VALUE_ADDRESS (msym); -} - -/* Assuming DATA is the ada-tasks' data for the current inferior, - set the known_tasks_kind and known_tasks_addr fields. Do nothing - if those fields are already set and still up to date. */ +/* Set all fields of the current inferior ada-tasks data pointed by DATA. + Do nothing if those fields are already set and still up to date. */ =20 static void -ada_set_current_inferior_known_tasks_addr (struct ada_tasks_inferior_data = *data) +ada_tasks_inferior_data_sniffer (struct ada_tasks_inferior_data *data) { - CORE_ADDR known_tasks_addr; + const char *name; + struct minimal_symbol *msym; + struct symbol *sym; =20 + /* Return now if already set. */ if (data->known_tasks_kind !=3D ADA_TASKS_UNKNOWN) return; =20 - known_tasks_addr =3D get_known_tasks_addr (KNOWN_TASKS_NAME); - if (known_tasks_addr !=3D 0) + /* Try array. */ + + msym =3D lookup_minimal_symbol (KNOWN_TASKS_NAME, NULL, NULL); + if (msym !=3D NULL) { data->known_tasks_kind =3D ADA_TASKS_ARRAY; - data->known_tasks_addr =3D known_tasks_addr; + data->known_tasks_addr =3D SYMBOL_VALUE_ADDRESS (msym); + + /* Try to get pointer type and array length from the symtab. */ + sym =3D lookup_symbol_in_language (KNOWN_TASKS_NAME, NULL, VAR_DOMAI= N, + language_c, NULL); + if (sym !=3D NULL) + { + /* Validate. */ + struct type *type =3D check_typedef (SYMBOL_TYPE (sym)); + struct type *eltype; + struct type *idxtype; + + if (TYPE_CODE (type) =3D=3D TYPE_CODE_ARRAY + && (eltype =3D check_typedef (TYPE_TARGET_TYPE (type))) + && TYPE_CODE (eltype) =3D=3D TYPE_CODE_PTR + && (idxtype =3D check_typedef (TYPE_INDEX_TYPE (type))) + && !TYPE_LOW_BOUND_UNDEFINED (idxtype) + && !TYPE_HIGH_BOUND_UNDEFINED (idxtype)) + { + data->known_tasks_element =3D eltype; + data->known_tasks_length =3D + TYPE_HIGH_BOUND (idxtype) - TYPE_LOW_BOUND (idxtype) + 1; + return; + } + } + + /* Fallback to default values. The runtime may have been stripped (= as + in some distributions), but it is likely that the executable still + contains debug information on the task type (due to implicit with of + Ada.Tasking). */ + data->known_tasks_element =3D + builtin_type (target_gdbarch)->builtin_data_ptr; + data->known_tasks_length =3D MAX_NUMBER_OF_KNOWN_TASKS; return; } =20 - known_tasks_addr =3D get_known_tasks_addr (KNOWN_TASKS_LIST); - if (known_tasks_addr !=3D 0) + + /* Try list. */ + + msym =3D lookup_minimal_symbol (KNOWN_TASKS_LIST, NULL, NULL); + if (msym !=3D NULL) { data->known_tasks_kind =3D ADA_TASKS_LIST; - data->known_tasks_addr =3D known_tasks_addr; + data->known_tasks_addr =3D SYMBOL_VALUE_ADDRESS (msym); + data->known_tasks_length =3D 1; + + sym =3D lookup_symbol_in_language (KNOWN_TASKS_LIST, NULL, VAR_DOMAI= N, + language_c, NULL); + if (sym !=3D NULL && SYMBOL_VALUE_ADDRESS (sym) !=3D 0) + { + /* Validate. */ + struct type *type =3D check_typedef (SYMBOL_TYPE (sym)); + + if (TYPE_CODE (type) =3D=3D TYPE_CODE_PTR) + { + data->known_tasks_element =3D type; + return; + } + } + + /* Fallback to default values. */ + data->known_tasks_element =3D + builtin_type (target_gdbarch)->builtin_data_ptr; + data->known_tasks_length =3D 1; return; } =20 + /* Can't find tasks. */ + data->known_tasks_kind =3D ADA_TASKS_NOT_FOUND; data->known_tasks_addr =3D 0; } @@ -909,7 +953,7 @@ read_known_tasks (void) return, as we don't want a stale task list to be used... This can happen for instance when debugging a non-multitasking program after having debugged a multitasking one. */ - ada_set_current_inferior_known_tasks_addr (data); + ada_tasks_inferior_data_sniffer (data); gdb_assert (data->known_tasks_kind !=3D ADA_TASKS_UNKNOWN); =20 switch (data->known_tasks_kind) @@ -917,9 +961,9 @@ read_known_tasks (void) case ADA_TASKS_NOT_FOUND: /* Tasking not in use in inferior. */ return 0; case ADA_TASKS_ARRAY: - return read_known_tasks_array (data->known_tasks_addr); + return read_known_tasks_array (data); case ADA_TASKS_LIST: - return read_known_tasks_list (data->known_tasks_addr); + return read_known_tasks_list (data); } =20 /* Step 3: Set task_list_valid_p, to avoid re-reading the Known_Tasks