[gdb/cli] Fix return from frame containing inline frame

Consider test-case gdb.base/return-3.exp:
...
$ gdb -q outputs/gdb.base/return-3/return-3
Reading symbols from outputs/gdb.base/return-3/return-3...
(gdb)
...

Function bar is an inlined function, and consequently we cannot return from
it:
...
(gdb) b bar
Breakpoint 1 at 0x4006ac: file return-3.c, line 25.
(gdb) r
Starting program: return-3
  ...
Breakpoint 1, bar () at return-3.c:25
25        c++;
(gdb) return
Can not force return from an inlined function.
(gdb)
...

However, function foo is not an inline function, and we should be able to
return from it, but we get the same error message:
...
(gdb) up
31        bar ();
(gdb) return
Can not force return from an inlined function.
(gdb)
...

Fix this by using the selected frame rather than the current frame in
return_command, such that we get instead:
...
(gdb) up
31        bar ();
(gdb) return
40        printf ("%d\n", c);
(gdb)
...

Tested on aarch64-linux.

Reviewed-By: Guinevere Larsen <guinevere@redhat.com>

PR cli/32479
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=32479
This commit is contained in:
Tom de Vries
2025-01-23 14:13:16 +01:00
parent 0c1b7977c9
commit b132f2344c
3 changed files with 83 additions and 1 deletions

View File

@@ -2696,7 +2696,7 @@ return_command (const char *retval_exp, int from_tty)
thisfun = get_frame_function (thisframe);
gdbarch = get_frame_arch (thisframe);
if (get_frame_type (get_current_frame ()) == INLINE_FRAME)
if (get_frame_type (thisframe) == INLINE_FRAME)
error (_("Can not force return from an inlined function."));
/* Compute the return value. If the computation triggers an error,

View File

@@ -0,0 +1,43 @@
/* This testcase is part of GDB, the GNU debugger.
Copyright 2025 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/>. */
#include <stdio.h>
static int c;
static inline void __attribute__((always_inline))
bar (void)
{
c++;
}
static void __attribute__((noinline))
foo ()
{
bar ();
c++;
}
int
main (void)
{
foo ();
printf ("%d\n", c);
return 0;
}

View File

@@ -0,0 +1,39 @@
# Copyright (C) 2025 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/>.
standard_testfile
if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } {
return -1
}
if { ![runto bar] } {
return -1
}
with_test_prefix "in bar" {
gdb_test "return" \
[string_to_regexp "Can not force return from an inlined function."]
}
gdb_test "up" \
[string_to_regexp "foo ()"].*
gdb_test_no_output "set confirm off"
with_test_prefix "in foo" {
gdb_test "return" \
[string_to_regexp "main ()"].*
}