Skip to content
This repository was archived by the owner on Aug 17, 2022. It is now read-only.

Commit bb1fe4a

Browse files
committed
Test case to detect recursive unwinding in Python-based unwinders.
This test case verifies that GDB will not attempt to invoke a python unwinder recursively. At the moment, the behavior exhibited by GDB looks like this: (gdb) source py-recurse-unwind.py Python script imported (gdb) b ccc Breakpoint 1 at 0x4004bd: file py-recurse-unwind.c, line 23. (gdb) run Starting program: py-recurse-unwind TestUnwinder: Recursion detected - returning early. TestUnwinder: Recursion detected - returning early. TestUnwinder: Recursion detected - returning early. TestUnwinder: Recursion detected - returning early. Breakpoint 1, ccc (arg=<unavailable>) at py-recurse-unwind.c:23 23 } (gdb) bt #-1 ccc (arg=<unavailable>) at py-recurse-unwind.c:23 Backtrace stopped: previous frame identical to this frame (corrupt stack?) [I've shortened pathnames for easier reading.] The desired / expected behavior looks like this: (gdb) source py-recurse-unwind.py Python script imported (gdb) b ccc Breakpoint 1 at 0x4004bd: file py-recurse-unwind.c, line 23. (gdb) run Starting program: py-recurse-unwind Breakpoint 1, ccc (arg=789) at py-recurse-unwind.c:23 23 } (gdb) bt #0 ccc (arg=789) at py-recurse-unwind.c:23 #1 0x00000000004004d5 in bbb (arg=456) at py-recurse-unwind.c:28 #2 0x00000000004004ed in aaa (arg=123) at py-recurse-unwind.c:34 #3 0x00000000004004fe in main () at py-recurse-unwind.c:40 Note that GDB's problems go well beyond the fact that it invokes the unwinder recursively. In the process it messes up some internal state (the frame stash) leading to display of (only) the sentinel frame in the backtrace. gdb/testsuite/ChangeLog: * gdb.python/py-recurse-unwind.c: New file. * gdb.python/py-recurse-unwind.py: New file. * gdb.python/py-recurse-unwind.exp: New file.
1 parent 0a1ddfa commit bb1fe4a

File tree

4 files changed

+191
-0
lines changed

4 files changed

+191
-0
lines changed

gdb/testsuite/ChangeLog

+6
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
2016-08-24 Kevin Buettner <[email protected]>
2+
3+
* gdb.python/py-recurse-unwind.c: New file.
4+
* gdb.python/py-recurse-unwind.py: New file.
5+
* gdb.python/py-recurse-unwind.exp: New file.
6+
17
2016-08-24 Simon Marchi <[email protected]>
28

39
* gdb.base/set-inferior-tty.exp: New file.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
/* This test program is part of GDB, the GNU debugger.
2+
3+
Copyright 2016 Free Software Foundation, Inc.
4+
5+
This program is free software; you can redistribute it and/or modify
6+
it under the terms of the GNU General Public License as published by
7+
the Free Software Foundation; either version 3 of the License, or
8+
(at your option) any later version.
9+
10+
This program is distributed in the hope that it will be useful,
11+
but WITHOUT ANY WARRANTY; without even the implied warranty of
12+
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13+
GNU General Public License for more details.
14+
15+
You should have received a copy of the GNU General Public License
16+
along with this program. If not, see <http://www.gnu.org/licenses/>. */
17+
18+
/* This is the test program loaded into GDB by the py-recurse-unwind test. */
19+
20+
void
21+
ccc (int arg)
22+
{
23+
}
24+
25+
void
26+
bbb (int arg)
27+
{
28+
ccc (789);
29+
}
30+
31+
void
32+
aaa (int arg)
33+
{
34+
bbb (456);
35+
}
36+
37+
int
38+
main ()
39+
{
40+
aaa (123);
41+
return 0;
42+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,75 @@
1+
# Copyright (C) 2016 Free Software Foundation, Inc.
2+
3+
# This program is free software; you can redistribute it and/or modify
4+
# it under the terms of the GNU General Public License as published by
5+
# the Free Software Foundation; either version 3 of the License, or
6+
# (at your option) any later version.
7+
#
8+
# This program is distributed in the hope that it will be useful,
9+
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10+
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11+
# GNU General Public License for more details.
12+
#
13+
# You should have received a copy of the GNU General Public License
14+
# along with this program. If not, see <http://www.gnu.org/licenses/>.
15+
16+
# This file is part of the GDB testsuite. It is used to verify that
17+
# GDB does not recurse infinitely when calling gdb.parse_and_eval() in
18+
# the course of sniffing a frame in a Python unwinder.
19+
20+
# The unwinder has been constructed so that, should recursion occur,
21+
# it will be detected in the unwinder so that we won't need to wait
22+
# for a timeout.
23+
24+
25+
load_lib gdb-python.exp
26+
27+
standard_testfile
28+
29+
if { [prepare_for_testing ${testfile}.exp ${testfile} ${srcfile}] } {
30+
return -1
31+
}
32+
33+
# Skip all tests if Python scripting is not enabled.
34+
if { [skip_python_tests] } { continue }
35+
36+
set pyfile [gdb_remote_download host ${srcdir}/${subdir}/${testfile}.py]
37+
38+
gdb_test "source ${pyfile}" "Python script imported" \
39+
"import python scripts"
40+
41+
# The following tests require execution.
42+
43+
if ![runto_main] then {
44+
fail "Can't run to main"
45+
return 0
46+
}
47+
48+
gdb_breakpoint "ccc"
49+
50+
gdb_continue_to_breakpoint "ccc"
51+
52+
# If the unwinder is active, the usage count will increment while
53+
# running to the breakpoint. Reset it prior to doing the backtrace.
54+
gdb_test_no_output "python TestUnwinder.reset_count()"
55+
56+
# The python based unwinder should be called a number of times while
57+
# generating the backtrace, but its sniffer always returns None. So
58+
# it doesn't really contribute to generating any of the frames below.
59+
#
60+
# But that's okay. Our goal here is to make sure that GDB doesn't
61+
# get hung up in potentially infinite recursion when invoking the
62+
# Python-based unwinder.
63+
64+
setup_kfail "gdb/19927" "*-*-*"
65+
gdb_test_sequence "bt" "backtrace" {
66+
"\\r\\n#0 .* ccc \\(arg=789\\) at "
67+
"\\r\\n#1 .* bbb \\(arg=456\\) at "
68+
"\\r\\n#2 .* aaa \\(arg=123\\) at "
69+
"\\r\\n#3 .* main \\(.*\\) at"
70+
}
71+
72+
# Test that the python-based unwinder / sniffer was actually called
73+
# during generation of the backtrace.
74+
setup_kfail "gdb/19927" "*-*-*"
75+
gdb_test "python print(TestUnwinder.count > 0)" "True"
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,68 @@
1+
# Copyright (C) 2016 Free Software Foundation, Inc.
2+
3+
# This program is free software; you can redistribute it and/or modify
4+
# it under the terms of the GNU General Public License as published by
5+
# the Free Software Foundation; either version 3 of the License, or
6+
# (at your option) any later version.
7+
#
8+
# This program is distributed in the hope that it will be useful,
9+
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10+
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11+
# GNU General Public License for more details.
12+
#
13+
# You should have received a copy of the GNU General Public License
14+
# along with this program. If not, see <http://www.gnu.org/licenses/>.
15+
16+
# This unwinder never does any unwinding. It'll (pretend to) "sniff"
17+
# the frame and ultimately return None, indicating that actual unwinding
18+
# should be performed by some other unwinder.
19+
#
20+
# But, prior to returning None, it will attempt to obtain the value
21+
# associated with a symbol via a call to gdb.parse_and_eval(). In
22+
# the course of doing this evaluation, GDB will potentially access
23+
# some frames, leading to the possibility of a recursive invocation of
24+
# this unwinder. If that should happen, code contained herein detects
25+
# that and prints a message which will cause some of the associated
26+
# tests to FAIL.
27+
28+
import gdb
29+
from gdb.unwinder import Unwinder
30+
31+
class TestUnwinder(Unwinder):
32+
33+
count = 0
34+
35+
@classmethod
36+
def reset_count (cls):
37+
cls.count = 0
38+
39+
@classmethod
40+
def inc_count (cls):
41+
cls.count += 1
42+
43+
def __init__(self):
44+
Unwinder.__init__(self, "test unwinder")
45+
self.recurse_level = 0
46+
47+
def __call__(self, pending_frame):
48+
49+
50+
if self.recurse_level > 0:
51+
gdb.write("TestUnwinder: Recursion detected - returning early.\n")
52+
return None
53+
54+
self.recurse_level += 1
55+
TestUnwinder.inc_count()
56+
57+
try:
58+
val = gdb.parse_and_eval("undefined_symbol")
59+
60+
except Exception as arg:
61+
pass
62+
63+
self.recurse_level -= 1
64+
65+
return None
66+
67+
gdb.unwinder.register_unwinder(None, TestUnwinder(), True)
68+
gdb.write("Python script imported\n")

0 commit comments

Comments
 (0)