From: Matti Puputti Date: Fri, 12 May 2023 13:33:20 +0000 (+0200) Subject: gdb, infcmd: Support jump command with same line in multiple symtabs X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=389971df23ca74092314dbde1303310a33766ba7;p=binutils-gdb.git gdb, infcmd: Support jump command with same line in multiple symtabs If a header file defining a static function is included in multiple source files, each calling the function, and GDB is asked to jump to a line inside that function, there would be multiple locations matching the target. The solution in this commit is to select the location in the current symtab. Reviewed-By: Eli Zaretskii Approved-By: Andrew Burgess --- diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 851835cbf30..d1059e0cb7f 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -20587,7 +20587,9 @@ an address of your own choosing, with the following commands: Resume execution at the address of the code location that results from resolving @var{locspec}. @xref{Location Specifications}, for a description of the different -forms of @var{locspec}. If @var{locspec} resolves to more than one +forms of @var{locspec}. If @var{locspec} resolves to more than one address, +those outside the current compilation unit are ignored. If considering just +the addresses in the current compilation unit still doesn't yield a unique address, the command aborts before jumping. Execution stops again immediately if there is a breakpoint there. It is common practice to use the @code{tbreak} command in conjunction diff --git a/gdb/infcmd.c b/gdb/infcmd.c index b12b58db9cb..15702f84894 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -1070,7 +1070,19 @@ jump_command (const char *arg, int from_tty) std::vector sals = decode_line_with_last_displayed (arg, DECODE_LINE_FUNFIRSTLINE); if (sals.size () != 1) - error (_("Unreasonable jump request")); + { + /* If multiple sal-objects were found, try dropping those that aren't + from the current symtab. */ + struct symtab_and_line cursal = get_current_source_symtab_and_line (); + sals.erase (std::remove_if (sals.begin (), sals.end (), + [&] (const symtab_and_line &sal) + { + return sal.symtab != cursal.symtab; + }), sals.end ()); + if (sals.size () != 1) + error (_("Jump request is ambiguous: " + "does not resolve to a single address")); + } symtab_and_line &sal = sals[0]; diff --git a/gdb/testsuite/gdb.base/jump_multiple_objfiles-foo.c b/gdb/testsuite/gdb.base/jump_multiple_objfiles-foo.c new file mode 100755 index 00000000000..16863c8594b --- /dev/null +++ b/gdb/testsuite/gdb.base/jump_multiple_objfiles-foo.c @@ -0,0 +1,24 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2021-2023 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 . */ + +#include "jump_multiple_objfiles.h" + +int +foo (int n) +{ + return bar (n); +} diff --git a/gdb/testsuite/gdb.base/jump_multiple_objfiles.c b/gdb/testsuite/gdb.base/jump_multiple_objfiles.c new file mode 100755 index 00000000000..b54eede9eb1 --- /dev/null +++ b/gdb/testsuite/gdb.base/jump_multiple_objfiles.c @@ -0,0 +1,30 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2021-2023 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 . */ + +#include "jump_multiple_objfiles.h" + +extern int foo (int n); + + +int +main () +{ + int n = foo (1); + bar (n); + + return 0; +} diff --git a/gdb/testsuite/gdb.base/jump_multiple_objfiles.exp b/gdb/testsuite/gdb.base/jump_multiple_objfiles.exp new file mode 100755 index 00000000000..b178e60150e --- /dev/null +++ b/gdb/testsuite/gdb.base/jump_multiple_objfiles.exp @@ -0,0 +1,54 @@ +# Copyright 2021-2023 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 . */ +# +# Tests GDBs support for jump, when the source line is in multiple +# object files. + + +standard_testfile .c -foo.c .h + + +if { [prepare_for_testing "failed to prepare" $testfile \ + [list ${srcfile} ${srcfile2}]] } { + return -1 +} + +if { ![runto_main] } { + return -1 +} + + +set bar_first_line [gdb_get_line_number "bar-first-line" ${srcfile3}] +set bar_middle_line [gdb_get_line_number "bar-middle-line" ${srcfile3}] +set bar_last_line [gdb_get_line_number "bar-last-line" ${srcfile3}] + + +# Set breakpoints in the function bar. Executable has two object files, +# and both have a copy of the same source lines. Therefore breakpoints +# will have two locations. +gdb_breakpoint "${srcfile3}:${bar_first_line}" +gdb_breakpoint "${srcfile3}:${bar_last_line}" + +# Run to the breakpoint in bar. +gdb_continue_to_breakpoint "bar_first_line" \ + ".*${srcfile3}:${bar_first_line}.*" + +# Jump within the function. Debugger shall be able to jump, even if the +# target line is in two different object files. After jump, we will hit +# the breakpoint at the last line of bar. +gdb_test "jump ${bar_middle_line}" [multi_line \ + "Continuing at ($hex).*" \ + "Breakpoint ${decimal}.* at .*${srcfile3}:${bar_last_line}.*"] \ + "Jump within the objectfile" diff --git a/gdb/testsuite/gdb.base/jump_multiple_objfiles.h b/gdb/testsuite/gdb.base/jump_multiple_objfiles.h new file mode 100755 index 00000000000..0a3815e1808 --- /dev/null +++ b/gdb/testsuite/gdb.base/jump_multiple_objfiles.h @@ -0,0 +1,30 @@ +/* Copyright (C) 2021-2023 Free Software Foundation, Inc. + + This file is part of GDB. + + 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 . */ + +#ifndef JUMP_MULTIPLE_OBJFILES_H +#define JUMP_MULTIPLE_OBJFILES_H + +static int +bar (int n) +{ + int retval = n; + retval += 1; /* bar-first-line */ + retval *= -1; /* bar-middle-line */ + return retval; /* bar-last-line */ +} + +#endif /* JUMP_MULTIPLE_OBJFILES_H */