From patchwork Fri Jan 5 09:33:57 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Joel Brobecker X-Patchwork-Id: 25225 Received: (qmail 93851 invoked by alias); 5 Jan 2018 09:34:04 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Delivered-To: mailing list gdb-patches@sourceware.org Received: (qmail 93838 invoked by uid 89); 5 Jan 2018 09:34:04 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-24.7 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, KAM_SHORT, KAM_STOCKGEN, RCVD_IN_DNSWL_NONE, SPF_PASS autolearn=ham version=3.3.2 spammy=pkg, Flip X-HELO: rock.gnat.com Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 05 Jan 2018 09:34:01 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 07806117849 for ; Fri, 5 Jan 2018 04:34:00 -0500 (EST) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 9IIsjzfK8ROC for ; Fri, 5 Jan 2018 04:33:59 -0500 (EST) Received: from tron.gnat.com (tron.gnat.com [205.232.38.10]) by rock.gnat.com (Postfix) with ESMTP id E9F32117842 for ; Fri, 5 Jan 2018 04:33:59 -0500 (EST) Received: by tron.gnat.com (Postfix, from userid 4233) id E610A4F2; Fri, 5 Jan 2018 04:33:59 -0500 (EST) From: Joel Brobecker To: gdb-patches@sourceware.org Subject: [pushed] (Ada) problem printing renaming which references a subprogram parameter Date: Fri, 5 Jan 2018 04:33:57 -0500 Message-Id: <1515144837-87481-1-git-send-email-brobecker@adacore.com> Hello, Consider the following code, which creates a local variable B which is a renaming whose expression references a subprogram parameter: procedure Flip (Bits : in out Bits_Type; I : Natural) is begin declare B : Boolean renames Bits (I); begin B := not B; -- BREAK end; end Flip; Trying to print the value of B when at the "BREAK" line currently does not work: (gdb) p b Could not find i What happens is the following: For the renaming, GNAT generates a variable whose name is encoded as follow: b___XR_bits___XEXSi GDB properly detects that variable, determines that, to compute the variable's value, we start from the symbol "Bits", which we then have to subscript (XS) using 'i' as the index. The error occurs while trying to find 'i'. This is because we forgot to pass the block in the call to ada_lookup_encoded_symbol, which this patch fixes. gdb/ChangeLog: * ada-exp.y (write_object_renaming): When subscripting an array using a symbol as the index, pass the block in call to ada_lookup_encoded_symbol when looking that symbol up. gdb/testsuite/ChangeLog: * gdb.ada/rename_subscript_param: New testcase. Tested on x86_64-linux. Pushed to master. Note: This requires the following GCC patch: | 2017-04-25 Pierre-Marie de Rodat | | * exp_dbug.adb: In Debug_Renaming_Declaration, | when dealing with indexed component, accept to produce a renaming | symbol when the index is an IN parameter or when it is a name | defined in an outer scope. Thank you, diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 95d7b5a..97854e8 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +2018-01-05 Joel Brobecker + + * ada-exp.y (write_object_renaming): When subscripting an array + using a symbol as the index, pass the block in call to + ada_lookup_encoded_symbol when looking that symbol up. + 2018-01-05 Jerome Guitton * ada-lang.c (ada_array_length): Use ada_index_type instead of diff --git a/gdb/ada-exp.y b/gdb/ada-exp.y index 0e60108..0acd1e2 100644 --- a/gdb/ada-exp.y +++ b/gdb/ada-exp.y @@ -891,8 +891,8 @@ write_object_renaming (struct parser_state *par_state, end - renaming_expr); renaming_expr = end; - ada_lookup_encoded_symbol (index_name, NULL, VAR_DOMAIN, - &index_sym_info); + ada_lookup_encoded_symbol (index_name, orig_left_context, + VAR_DOMAIN, &index_sym_info); if (index_sym_info.symbol == NULL) error (_("Could not find %s"), index_name); else if (SYMBOL_CLASS (index_sym_info.symbol) == LOC_TYPEDEF) diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index c79dffc..2684397 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2018-01-05 Joel Brobecker + + * gdb.ada/rename_subscript_param: New testcase. + 2018-01-05 Jerome Guitton * gdb.ada/arr_acc_idx_w_gap: New testcase. diff --git a/gdb/testsuite/gdb.ada/rename_subscript_param.exp b/gdb/testsuite/gdb.ada/rename_subscript_param.exp new file mode 100644 index 0000000..9188bf0 --- /dev/null +++ b/gdb/testsuite/gdb.ada/rename_subscript_param.exp @@ -0,0 +1,44 @@ +# Copyright 2016-2018 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +load_lib "ada.exp" + +standard_ada_testfile pb30_012 + +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug]] != "" } { + return -1 +} + +clean_restart ${testfile} + +set bp_location [gdb_get_line_number "BREAK" ${testdir}/pkg.adb] +runto "pkg.adb:$bp_location" + +gdb_test "print b" \ + " = false" \ + "print b before changing its value" + +set bp_location [gdb_get_line_number "Do_Nothing" ${testdir}/pkg.adb] +gdb_test "break pkg.adb:$bp_location" \ + "Breakpoint \[0-9\]+ at.*: file .*pkg.adb, line \[0-9\]+." \ + "insert second breakpoint in pkg.adb" + +gdb_test "cont" \ + "Breakpoint \[0-9\]+, pkg.flip \\(.*" \ + "Continuing to breakpoint on call to Do_Nothing" + +gdb_test "print b" \ + " = true" \ + "print b before changing its value" diff --git a/gdb/testsuite/gdb.ada/rename_subscript_param/pb30_012.adb b/gdb/testsuite/gdb.ada/rename_subscript_param/pb30_012.adb new file mode 100644 index 0000000..b2ea43c --- /dev/null +++ b/gdb/testsuite/gdb.ada/rename_subscript_param/pb30_012.adb @@ -0,0 +1,22 @@ +-- Copyright 2016-2018 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +with Pkg; use Pkg; + +procedure PB30_012 is + Bits : Bits_Type := (others => False); +begin + Flip (Bits, 2); +end PB30_012; diff --git a/gdb/testsuite/gdb.ada/rename_subscript_param/pck.adb b/gdb/testsuite/gdb.ada/rename_subscript_param/pck.adb new file mode 100644 index 0000000..8c990cc --- /dev/null +++ b/gdb/testsuite/gdb.ada/rename_subscript_param/pck.adb @@ -0,0 +1,21 @@ +-- Copyright 2016-2018 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +package body Pck is + procedure Do_Nothing (A : System.Address) is + begin + null; + end Do_Nothing; +end Pck; diff --git a/gdb/testsuite/gdb.ada/rename_subscript_param/pck.ads b/gdb/testsuite/gdb.ada/rename_subscript_param/pck.ads new file mode 100644 index 0000000..7f47f95 --- /dev/null +++ b/gdb/testsuite/gdb.ada/rename_subscript_param/pck.ads @@ -0,0 +1,19 @@ +-- Copyright 2016-2018 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +with System; +package Pck is + procedure Do_Nothing (A : System.Address); +end Pck; diff --git a/gdb/testsuite/gdb.ada/rename_subscript_param/pkg.adb b/gdb/testsuite/gdb.ada/rename_subscript_param/pkg.adb new file mode 100644 index 0000000..cdbcd36 --- /dev/null +++ b/gdb/testsuite/gdb.ada/rename_subscript_param/pkg.adb @@ -0,0 +1,30 @@ +-- Copyright 2016-2018 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +with Pck; use Pck; + +package body Pkg is + procedure Flip (Bits : in out Bits_Type; I : Natural) is + begin + -- Create a new scope to check that the scope match algorithm is fine in + -- the front-end. + declare + B : Boolean renames Bits (I); + begin + B := not B; -- BREAK + Do_Nothing (Bits'Address); + end; + end Flip; +end Pkg; diff --git a/gdb/testsuite/gdb.ada/rename_subscript_param/pkg.ads b/gdb/testsuite/gdb.ada/rename_subscript_param/pkg.ads new file mode 100644 index 0000000..eb37f14 --- /dev/null +++ b/gdb/testsuite/gdb.ada/rename_subscript_param/pkg.ads @@ -0,0 +1,21 @@ +-- Copyright 2016-2018 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see . + +package Pkg is + type Bits_Type is array (1 .. 10) of Boolean + with Pack => True; + + procedure Flip (Bits : in out Bits_Type; I : Natural); +end Pkg;