Compare commits

...

2 Commits

Author SHA1 Message Date
Pedro Alves
7dfecca0d2 Fix advance/until and multiple locations (PR gdb/26524)
If you do "advance LINESPEC", and LINESPEC expands to more than one
location, GDB just errors out:

   if (sals.size () != 1)
     error (_("Couldn't get information on specified line."));

For example, advancing to a line in an inlined function, inlined three
times:

 (gdb) b 21
 Breakpoint 1 at 0x55555555516f: advance.cc:21. (3 locations)
 (gdb) info breakpoints
 Num     Type           Disp Enb Address            What
 1       breakpoint     keep y   <MULTIPLE>
 1.1                         y   0x000055555555516f in inline_func at advance.cc:21
 1.2                         y   0x000055555555517e in inline_func at advance.cc:21
 1.3                         y   0x000055555555518d in inline_func at advance.cc:21
 (gdb) advance 21
 Couldn't get information on specified line.
 (gdb)

Similar issue with the "until" command, as it shares the
implementation with "advance".

Since, as the comment in gdb.base/advance.exp says, "advance <location>"
is really just syntactic sugar for "tbreak <location>;continue",
fix this by making GDB insert a breakpoint at all the resolved
locations.

A new testcase is included, which exercises both "advance" and
"until", in two different cases expanding to multiple locations:

  - inlined functions
  - C++ overloads

This also exercises the inline frames issue fixed by the previous
patch.

gdb/ChangeLog:

	PR gdb/26524
	* breakpoint.c (until_break_fsm) <location_breakpoint,
	caller_breakpoint>: Delete fields.
	<breakpoints>: New field.
	<until_break_fsm>: Adjust to save a breakpoint vector instead of
	two individual breakpoints.
	(until_break_fsm::should_stop): Loop over breakpoints in the
	breakpoint vector.
	(until_break_fsm::clean_up): Adjust to clear the breakpoints
	vector.
	(until_break_command): Handle location expanding into multiple
	sals.

gdb/testsuite/ChangeLog:

	PR gdb/26523
	PR gdb/26524
	* gdb.base/advance-until-multiple-locations.cc: New.
	* gdb.base/advance-until-multiple-locations.exp: New.
2020-08-22 21:37:26 +01:00
Pedro Alves
e4e53e546c Fix advance/until and inline frames (PR gdb/26523)
If you do "tbreak LINENO; c" to advance to an inlined function, GDB
presents the stop at the inline frame instead of at the non-artificial
stack frame:

 (gdb) list 21
 18      static inline __attribute__ ((always_inline)) int
 19      inline_func (int i)
 20      {
 21        return i + 1;
 22      }

 (gdb) tbreak 21
 Temporary breakpoint 3 at 0x55555555516f: advance.cc:21.
 (gdb) c
 Continuing.

 Temporary breakpoint 3, inline_func (i=0) at advance.cc:21
 21        return i + 1;

The logic for this is in stopped_by_user_bp_inline_frame:

 /* Loop over the stop chain and determine if execution stopped in an
    inlined frame because of a breakpoint with a user-specified
    location set at FRAME_BLOCK.  */

 static bool
 stopped_by_user_bp_inline_frame (const block *frame_block, bpstat stop_chain)

If however, you do "advance LINENO" or "until LINENO" instead, GDB
presents the stop at the non-artificial frame:

 (gdb) advance 21
 main () at advance.cc:43
 43        i = inline_func (i);
 (gdb)

"advance" and "until" should really behave like user breakpoints here,
since their location is also user-specified.  As the comment in
gdb.base/advance.exp says, "advance <location>" is really just
syntactic sugar for "tbreak <location>; continue".

Fix this by making stopped_by_user_bp_inline_frame also consider
advance/until breakpoints.

A testcase covering this will be included in the next patch.

gdb/ChangeLog:

	PR gdb/26523
	* inline-frame.c (stopped_by_user_bp_inline_frame): Also consider
	bp_until breakpoints user-specified locations.  Update intro
	comment.
2020-08-22 00:26:58 +01:00
4 changed files with 243 additions and 43 deletions

View File

@@ -10950,20 +10950,15 @@ struct until_break_fsm : public thread_fsm
/* The thread that was current when the command was executed. */
int thread;
/* The breakpoint set at the destination location. */
breakpoint_up location_breakpoint;
/* Breakpoint set at the return address in the caller frame. May be
NULL. */
breakpoint_up caller_breakpoint;
/* The breakpoint set at the return address in the caller frame,
plus breakpoints at the destination location. */
std::vector<breakpoint_up> breakpoints;
until_break_fsm (struct interp *cmd_interp, int thread,
breakpoint_up &&location_breakpoint,
breakpoint_up &&caller_breakpoint)
std::vector<breakpoint_up> &&breakpoints)
: thread_fsm (cmd_interp),
thread (thread),
location_breakpoint (std::move (location_breakpoint)),
caller_breakpoint (std::move (caller_breakpoint))
breakpoints (std::move (breakpoints))
{
}
@@ -10978,12 +10973,13 @@ struct until_break_fsm : public thread_fsm
bool
until_break_fsm::should_stop (struct thread_info *tp)
{
if (bpstat_find_breakpoint (tp->control.stop_bpstat,
location_breakpoint.get ()) != NULL
|| (caller_breakpoint != NULL
&& bpstat_find_breakpoint (tp->control.stop_bpstat,
caller_breakpoint.get ()) != NULL))
set_finished ();
for (const breakpoint_up &bp : breakpoints)
if (bpstat_find_breakpoint (tp->control.stop_bpstat,
bp.get ()) != NULL)
{
set_finished ();
break;
}
return true;
}
@@ -10995,8 +10991,7 @@ void
until_break_fsm::clean_up (struct thread_info *)
{
/* Clean up our temporary breakpoints. */
location_breakpoint.reset ();
caller_breakpoint.reset ();
breakpoints.clear ();
delete_longjmp_breakpoint (thread);
}
@@ -11034,16 +11029,12 @@ until_break_command (const char *arg, int from_tty, int anywhere)
: decode_line_1 (location.get (), DECODE_LINE_FUNFIRSTLINE,
NULL, NULL, 0));
if (sals.size () != 1)
if (sals.empty ())
error (_("Couldn't get information on specified line."));
symtab_and_line &sal = sals[0];
if (*arg)
error (_("Junk at end of arguments."));
resolve_sal_pc (&sal);
tp = inferior_thread ();
thread = tp->global_num;
@@ -11060,7 +11051,7 @@ until_break_command (const char *arg, int from_tty, int anywhere)
/* Keep within the current frame, or in frames called by the current
one. */
breakpoint_up caller_breakpoint;
std::vector<breakpoint_up> breakpoints;
gdb::optional<delete_longjmp_breakpoint_cleanup> lj_deleter;
@@ -11072,10 +11063,11 @@ until_break_command (const char *arg, int from_tty, int anywhere)
sal2 = find_pc_line (frame_unwind_caller_pc (frame), 0);
sal2.pc = frame_unwind_caller_pc (frame);
caller_gdbarch = frame_unwind_caller_arch (frame);
caller_breakpoint = set_momentary_breakpoint (caller_gdbarch,
sal2,
caller_frame_id,
bp_until);
breakpoint_up caller_breakpoint
= set_momentary_breakpoint (caller_gdbarch, sal2,
caller_frame_id, bp_until);
breakpoints.emplace_back (std::move (caller_breakpoint));
set_longjmp_breakpoint (tp, caller_frame_id);
lj_deleter.emplace (thread);
@@ -11084,21 +11076,24 @@ until_break_command (const char *arg, int from_tty, int anywhere)
/* set_momentary_breakpoint could invalidate FRAME. */
frame = NULL;
breakpoint_up location_breakpoint;
if (anywhere)
/* If the user told us to continue until a specified location,
we don't specify a frame at which we need to stop. */
location_breakpoint = set_momentary_breakpoint (frame_gdbarch, sal,
null_frame_id, bp_until);
else
/* Otherwise, specify the selected frame, because we want to stop
only at the very same frame. */
location_breakpoint = set_momentary_breakpoint (frame_gdbarch, sal,
stack_frame_id, bp_until);
/* If the user told us to continue until a specified location, we
don't specify a frame at which we need to stop. Otherwise,
specify the selected frame, because we want to stop only at the
very same frame. */
frame_id stop_frame_id = anywhere ? null_frame_id : stack_frame_id;
for (symtab_and_line &sal : sals)
{
resolve_sal_pc (&sal);
breakpoint_up location_breakpoint
= set_momentary_breakpoint (frame_gdbarch, sal,
stop_frame_id, bp_until);
breakpoints.emplace_back (std::move (location_breakpoint));
}
tp->thread_fsm = new until_break_fsm (command_interp (), tp->global_num,
std::move (location_breakpoint),
std::move (caller_breakpoint));
std::move (breakpoints));
if (lj_deleter)
lj_deleter->release ();

View File

@@ -303,7 +303,8 @@ block_starting_point_at (CORE_ADDR pc, const struct block *block)
}
/* Loop over the stop chain and determine if execution stopped in an
inlined frame because of a user breakpoint set at FRAME_BLOCK. */
inlined frame because of a breakpoint with a user-specified location
set at FRAME_BLOCK. */
static bool
stopped_by_user_bp_inline_frame (const block *frame_block, bpstat stop_chain)
@@ -312,7 +313,8 @@ stopped_by_user_bp_inline_frame (const block *frame_block, bpstat stop_chain)
{
struct breakpoint *bpt = s->breakpoint_at;
if (bpt != NULL && user_breakpoint_p (bpt))
if (bpt != NULL
&& (user_breakpoint_p (bpt) || bpt->type == bp_until))
{
bp_location *loc = s->bp_location_at;
enum bp_loc_type t = loc->loc_type;

View File

@@ -0,0 +1,61 @@
/* This testcase is part of GDB, the GNU debugger.
Copyright 2020 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 <http://www.gnu.org/licenses/>. */
static inline int __attribute__ ((always_inline))
inline_func (int i)
{
i++; /* multiple locations here */
return i;
}
int global = 0;
void
ovld_func ()
{
global = 1;
}
void
ovld_func (int)
{
global = 2;
}
/* This is a separate function so that we can test that "until" stops
at the caller. */
int
test ()
{
int i = 0;
i = inline_func (i);
i = inline_func (i);
i = inline_func (i);
ovld_func ();
ovld_func (0);
return 0;
}
int
main ()
{
return test ();
}

View File

@@ -0,0 +1,142 @@
# Copyright 2020 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 <http://www.gnu.org/licenses/>. */
# Test 'advance/until LINESPEC' where LINESPEC expands to multiple
# locations.
standard_testfile .cc
if { [skip_cplus_tests] } { continue }
if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
{debug c++}] } {
return -1
}
set lineno [gdb_get_line_number "multiple locations here"]
# advance/until to an inlined line number, which has been inlined
# multiple times, when the program is stopped at the same inlined
# function.
proc_with_prefix until_advance_lineno_from_inlined {cmd} {
global lineno
if ![runto test] {
fail "can't run to test"
return
}
gdb_breakpoint $lineno
gdb_continue_to_breakpoint "break here"
set lineno2 [expr $lineno + 1]
gdb_test "$cmd $lineno2" \
"inline_func .* at .*:$lineno2.*return i.*" \
"$cmd line number"
}
# advance/until to a line number, which has been inlined multiple
# times, when the program is stopped at a non-inlined function.
proc_with_prefix until_advance_lineno_from_non_inlined {cmd} {
global lineno
if ![runto test] {
fail "can't run to test"
return
}
gdb_test "$cmd $lineno" \
"inline_func .* at .*:$lineno.*multiple locations here.*" \
"$cmd line number"
}
# Test advancing to an inlined function, which has been inlined
# multiple times.
proc_with_prefix until_advance_inline_func {cmd} {
global lineno
if ![runto test] {
fail "can't run to test"
return
}
gdb_test "$cmd inline_func" \
"inline_func .* at .*:$lineno.*multiple locations here.*"
}
# Test advancing to an overloaded function, which is another form of a
# linespec expanding to multiple locations. GDB will stop at the
# first overload called.
proc_with_prefix advance_overload {} {
global lineno
if ![runto test] {
fail "can't run to test"
return
}
# Test that advance stops at the first overload called by the
# program.
gdb_test "advance ovld_func" \
"ovld_func .* at .*global = 1.*" \
"first advance stops at ovld_func()"
# Now test that advance also stops at the other overload called by
# the program.
# Need to issue the advance twice, because advance also stops upon
# exit from the current stack frame.
gdb_test "advance ovld_func" \
"ovld_func \\(0\\);.*" \
"second advance stops at caller"
gdb_test "advance ovld_func" \
"ovld_func .* at .*global = 2.*" \
"third advance stops at ovld_func(int)"
}
# Test "until" to an overloaded function, which is another form of a
# linespec expanding to multiple locations. Unlike "advance", "until"
# only stops if still in the same frame. Since the overloaded
# function is a different frame, the program should stop at the caller
# frame instead.
proc_with_prefix until_overload {} {
global lineno
if ![runto test] {
fail "can't run to test"
return
}
# ovld_func is a different frame, so it shouldn't cause a stop.
# Instead, the program should stop at the caller frame.
gdb_test "until ovld_func" \
"main .* at .*return test \\(\\);.*"
}
foreach_with_prefix cmd {"until" "advance"} {
until_advance_lineno_from_inlined $cmd
until_advance_lineno_from_non_inlined $cmd
until_advance_inline_func $cmd
}
advance_overload
until_overload