From: Pierre-Marie de Rodat Date: Mon, 31 Aug 2015 14:04:07 +0000 (+0200) Subject: [Ada] Fix completion for multiple function matches X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dc5c874652de144c5ab05d11e85013b568678039;p=binutils-gdb.git [Ada] Fix completion for multiple function matches Before this change, trying to complete an expression ending with an ambiguous function name (i.e. for which there are multiple matches) would display a menu with a prompt for the user to pick one. For instance: (gdb) p funcMultiple matches for func [0] cancel [1] pack2.func at pack2.adb:5 [2] pack.func at pack.adb:5 > This is not user friendly and actually triggered a segmentation fault after the user did pick one. It is not clear whether the segmentation fault needs a separate fix, but this is the only known case which exhibits it at the moment, and this case must be fixed itself. The problem lies in ada-lang.c (ada_resolve_function): when we got multiple matches, we should not display the menu if we are in completion mode. This patch adjusts the corresponding condition accordingly. gdb/ChangeLog: * ada-lang.c (ada_resolve_function): Do not ask the user what match to use when in completion mode. gdb/testsuite/ChangeLog: * gdb.ada/complete.exp: Add "pck.ambiguous_func" to the relevant expected outputs. Add two testcases for completing ambiguous functions. * gdb.ada/complete/aux_pck.adb: New file. * gdb.ada/complete/aux_pck.ads: New file. * gdb.ada/complete/foo.adb: Pull Aux_Pck and call the two Ambiguous_Func functions. * gdb.ada/complete/pck.ads: Add an Ambiguous_Func function. * gdb.ada/complete/pck.adb: Likewise. Tested on x86_64-linux, no regression. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index ddb8e78cbb7..008fc936386 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2015-09-01 Pierre-Marie de Rodat + + * ada-lang.c (ada_resolve_function): Do not ask the user what + match to use when in completion mode. + 2015-08-31 Andrew Burgess * tui/tui-data.c (tui_win_name): Make local variable const, remove diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c index 7e6b6dcaeb0..a7809ffc2c0 100644 --- a/gdb/ada-lang.c +++ b/gdb/ada-lang.c @@ -3655,9 +3655,13 @@ ada_resolve_function (struct block_symbol syms[], } } + /* If we got multiple matches, ask the user which one to use. Don't do this + interactive thing during completion, though, as the purpose of the + completion is providing a list of all possible matches. Prompting the + user to filter it down would be completely unexpected in this case. */ if (m == 0) return -1; - else if (m > 1) + else if (m > 1 && !parse_completion) { printf_filtered (_("Multiple matches for %s\n"), name); user_select_syms (syms, m, 1); diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index e5de0a3a412..4eaf1d13117 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,15 @@ +2015-09-01 Pierre-Marie de Rodat + + * gdb.ada/complete.exp: Add "pck.ambiguous_func" to the relevant + expected outputs. Add two testcases for completing ambiguous + functions. + * gdb.ada/complete/aux_pck.adb: New file. + * gdb.ada/complete/aux_pck.ads: New file. + * gdb.ada/complete/foo.adb: Pull Aux_Pck and call the two + Ambiguous_Func functions. + * gdb.ada/complete/pck.ads: Add an Ambiguous_Func function. + * gdb.ada/complete/pck.adb: Likewise. + 2015-08-27 Ulrich Weigand * lib/cell.exp (skip_cell_tests): Report UNRESOLVED on unexpected diff --git a/gdb/testsuite/gdb.ada/complete.exp b/gdb/testsuite/gdb.ada/complete.exp index 9919bdf9ef3..0c4f03f4e1b 100644 --- a/gdb/testsuite/gdb.ada/complete.exp +++ b/gdb/testsuite/gdb.ada/complete.exp @@ -140,6 +140,7 @@ test_gdb_complete "external_ident" \ test_gdb_complete "pck" \ [multi_line "(p pck\\.ad\[sb\])?" \ "(p pck\\.ad\[sb\])?" \ + "p pck.ambiguous_func" \ "p pck.external_identical_one" \ "p pck.inner.inside_variable" \ "p pck.local_identical_one" \ @@ -151,6 +152,7 @@ test_gdb_complete "pck" \ test_gdb_complete "pck." \ [multi_line "(p pck\\.ad\[sb\])?" \ "(p pck\\.ad\[sb\])?" \ + "p pck.ambiguous_func" \ "p pck.external_identical_one" \ "p pck.inner.inside_variable" \ "p pck.local_identical_one" \ @@ -181,3 +183,14 @@ if { [readline_is_used] } { } } } + +# Usually, parsing a function name that is ambiguous yields a menu through +# which users can select a specific function. This should not happen during +# completion, though. +test_gdb_complete "ambig" \ + [multi_line "p ambiguous_func" \ + "p ambiguous_proc" ] +test_gdb_complete "ambiguous_f" \ + "p ambiguous_func" +test_gdb_complete "ambiguous_func" \ + "p ambiguous_func" diff --git a/gdb/testsuite/gdb.ada/complete/aux_pck.adb b/gdb/testsuite/gdb.ada/complete/aux_pck.adb new file mode 100644 index 00000000000..b15912adc75 --- /dev/null +++ b/gdb/testsuite/gdb.ada/complete/aux_pck.adb @@ -0,0 +1,28 @@ +-- Copyright 2015 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 Aux_Pck is + + procedure Ambiguous_Func is + begin + null; + end Ambiguous_Func; + + procedure Ambiguous_Proc is + begin + null; + end Ambiguous_Proc; + +end Aux_Pck; diff --git a/gdb/testsuite/gdb.ada/complete/aux_pck.ads b/gdb/testsuite/gdb.ada/complete/aux_pck.ads new file mode 100644 index 00000000000..f3476c6a44b --- /dev/null +++ b/gdb/testsuite/gdb.ada/complete/aux_pck.ads @@ -0,0 +1,21 @@ +-- Copyright 2015 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 Aux_Pck is + + procedure Ambiguous_Func; + procedure Ambiguous_Proc; + +end Aux_Pck; diff --git a/gdb/testsuite/gdb.ada/complete/foo.adb b/gdb/testsuite/gdb.ada/complete/foo.adb index 58d0ee32701..98f1c1ebadb 100644 --- a/gdb/testsuite/gdb.ada/complete/foo.adb +++ b/gdb/testsuite/gdb.ada/complete/foo.adb @@ -13,7 +13,8 @@ -- You should have received a copy of the GNU General Public License -- along with this program. If not, see . -with Pck; use Pck; +with Aux_Pck; use Aux_Pck; +with Pck; use Pck; procedure Foo is Some_Local_Variable : Integer := 1; @@ -21,5 +22,8 @@ procedure Foo is begin My_Global_Variable := Some_Local_Variable + 1; -- START Proc (External_Identical_Two); + Aux_Pck.Ambiguous_Func; + Aux_Pck.Ambiguous_Proc; + Pck.Ambiguous_Func; end Foo; diff --git a/gdb/testsuite/gdb.ada/complete/pck.adb b/gdb/testsuite/gdb.ada/complete/pck.adb index 51dd725dbe9..10680dcf307 100644 --- a/gdb/testsuite/gdb.ada/complete/pck.adb +++ b/gdb/testsuite/gdb.ada/complete/pck.adb @@ -21,4 +21,9 @@ package body Pck is Inner.Inside_Variable := Not_In_Scope + I; end Proc; + procedure Ambiguous_Func is + begin + null; + end Ambiguous_Func; + end Pck; diff --git a/gdb/testsuite/gdb.ada/complete/pck.ads b/gdb/testsuite/gdb.ada/complete/pck.ads index ab2c47ba2f8..e85f5663b8a 100644 --- a/gdb/testsuite/gdb.ada/complete/pck.ads +++ b/gdb/testsuite/gdb.ada/complete/pck.ads @@ -31,4 +31,6 @@ package Pck is procedure Proc (I : Integer); + procedure Ambiguous_Func; + end Pck;