Commit | Line | Data |
---|---|---|
42a4f53d | 1 | # Copyright 1997-2019 Free Software Foundation, Inc. |
74cf1395 JM |
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 | |
e22f8b7c | 5 | # the Free Software Foundation; either version 3 of the License, or |
74cf1395 | 6 | # (at your option) any later version. |
e22f8b7c | 7 | # |
74cf1395 JM |
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. | |
e22f8b7c | 12 | # |
74cf1395 | 13 | # You should have received a copy of the GNU General Public License |
e85a822c | 14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
74cf1395 | 15 | |
2d4e0376 YQ |
16 | # Until "set follow-fork-mode" and "catch fork" are implemented on |
17 | # other targets... | |
18 | # | |
3ca22649 | 19 | if { ![istarget "*-*-linux*"] && ![istarget "*-*-openbsd*"] } then { |
2d4e0376 YQ |
20 | continue |
21 | } | |
74cf1395 | 22 | |
81f47ac2 AH |
23 | # Test relies on checking follow-fork output. Do not run if gdb debug is |
24 | # enabled as it will be redirected to the log. | |
25 | if [gdb_debug_enabled] { | |
26 | untested "debug is enabled" | |
27 | return 0 | |
28 | } | |
29 | ||
289f9037 TT |
30 | standard_testfile |
31 | ||
5b362f04 | 32 | if {[prepare_for_testing "failed to prepare" $testfile $srcfile debug]} { |
289f9037 | 33 | return -1 |
74cf1395 JM |
34 | } |
35 | ||
e85a822c DJ |
36 | proc check_fork_catchpoints {} { |
37 | global gdb_prompt | |
38 | ||
39 | # Verify that the system supports "catch fork". | |
40 | gdb_test "catch fork" "Catchpoint \[0-9\]* \\(fork\\)" "insert first fork catchpoint" | |
41 | set has_fork_catchpoints 0 | |
42 | gdb_test_multiple "continue" "continue to first fork catchpoint" { | |
77b06cd7 | 43 | -re ".*Your system does not support this type\r\nof catchpoint.*$gdb_prompt $" { |
e85a822c DJ |
44 | unsupported "continue to first fork catchpoint" |
45 | } | |
46 | -re ".*Catchpoint.*$gdb_prompt $" { | |
47 | set has_fork_catchpoints 1 | |
48 | pass "continue to first fork catchpoint" | |
49 | } | |
50 | } | |
51 | ||
52 | if {$has_fork_catchpoints == 0} { | |
53 | unsupported "fork catchpoints" | |
54 | return -code return | |
55 | } | |
56 | } | |
57 | ||
a1aa2221 LM |
58 | # Test follow-fork to ensure that the correct process is followed, that |
59 | # the followed process stops where it is expected to stop, that processes | |
60 | # are detached (or not) as expected, and that the inferior list has the | |
61 | # expected contents after following the fork. WHO is the argument to | |
62 | # the 'set follow-fork-mode' command, DETACH is the argument to the | |
63 | # 'set detach-on-fork' command, and CMD is the GDB command used to | |
64 | # execute the program past the fork. If the value of WHO or DETACH is | |
65 | # 'default', the corresponding GDB command is skipped for that test. | |
66 | # The value of CMD must be either 'next 2' or 'continue'. | |
67 | proc test_follow_fork { who detach cmd } { | |
a76e022a | 68 | global gdb_prompt |
a1aa2221 LM |
69 | global srcfile |
70 | global testfile | |
a76e022a | 71 | |
a1aa2221 | 72 | with_test_prefix "follow $who, detach $detach, command \"$cmd\"" { |
a76e022a | 73 | |
a1aa2221 LM |
74 | # Start a new debugger session each time so defaults are legitimate. |
75 | clean_restart $testfile | |
a76e022a | 76 | |
a1aa2221 LM |
77 | if ![runto_main] { |
78 | untested "could not run to main" | |
79 | return -1 | |
80 | } | |
74cf1395 | 81 | |
a1aa2221 LM |
82 | # The "Detaching..." and "Attaching..." messages may be hidden by |
83 | # default. | |
84 | gdb_test_no_output "set verbose" | |
a76e022a | 85 | |
a1aa2221 LM |
86 | # Set follow-fork-mode if we aren't using the default. |
87 | if {$who == "default"} { | |
88 | set who "parent" | |
89 | } else { | |
90 | gdb_test_no_output "set follow-fork $who" | |
91 | } | |
a76e022a | 92 | |
a1aa2221 LM |
93 | gdb_test "show follow-fork" \ |
94 | "Debugger response to a program call of fork or vfork is \"$who\"." \ | |
95 | "show follow-fork" | |
a76e022a | 96 | |
a1aa2221 LM |
97 | # Set detach-on-fork mode if we aren't using the default. |
98 | if {$detach == "default"} { | |
99 | set detach "on" | |
100 | } else { | |
101 | gdb_test_no_output "set detach-on-fork $detach" | |
102 | } | |
a76e022a | 103 | |
a1aa2221 LM |
104 | gdb_test "show detach-on-fork" \ |
105 | "Whether gdb will detach.* fork is $detach." \ | |
106 | "show detach-on-fork" | |
107 | ||
108 | # Set a breakpoint after the fork if we aren't single-stepping | |
109 | # past the fork. | |
110 | if {$cmd == "continue"} { | |
111 | set bp_after_fork [gdb_get_line_number "set breakpoint here"] | |
112 | gdb_test "break ${srcfile}:$bp_after_fork" \ | |
113 | "Breakpoint.*, line $bp_after_fork.*" \ | |
114 | "set breakpoint after fork" | |
115 | } | |
74cf1395 | 116 | |
a1aa2221 LM |
117 | # Set up the output we expect to see after we run. |
118 | set expected_re "" | |
119 | if {$who == "child"} { | |
f67c0c91 | 120 | set expected_re "\\\[Attaching after.* fork to.*" |
6f259a23 | 121 | if {$detach == "on"} { |
f67c0c91 | 122 | append expected_re "\\\[Detaching after fork from .*" |
6f259a23 DB |
123 | } |
124 | append expected_re "set breakpoint here.*" | |
a1aa2221 | 125 | } elseif {$who == "parent" && $detach == "on"} { |
f67c0c91 | 126 | set expected_re "\\\[Detaching after fork from .*set breakpoint here.*" |
a1aa2221 LM |
127 | } else { |
128 | set expected_re ".*set breakpoint here.*" | |
129 | } | |
a76e022a | 130 | |
a1aa2221 LM |
131 | # Test running past and following the fork, using the parameters |
132 | # set above. | |
133 | gdb_test $cmd $expected_re "$cmd past fork" | |
a76e022a | 134 | |
a1aa2221 LM |
135 | # Check that we have the inferiors arranged correctly after |
136 | # following the fork. | |
137 | set resume_unfollowed 0 | |
138 | if {$who == "parent" && $detach == "on"} { | |
a76e022a | 139 | |
a1aa2221 LM |
140 | # Follow parent / detach child: the only inferior is the parent. |
141 | gdb_test "info inferiors" "\\* 1 .* process.*" \ | |
142 | "info inferiors" | |
a76e022a | 143 | |
a1aa2221 LM |
144 | } elseif {$who == "parent" && $detach == "off"} { |
145 | ||
146 | # Follow parent / keep child: two inferiors under debug, the | |
147 | # parent is the current inferior. | |
b05b1202 | 148 | gdb_test "info inferiors" "\\* 1 .*process.* 2 .*process.*" \ |
a1aa2221 LM |
149 | "info inferiors" |
150 | ||
151 | gdb_test "inferior 2" "Switching to inferior 2 .*" | |
152 | set resume_unfollowed 1 | |
153 | ||
154 | } elseif {$who == "child" && $detach == "on"} { | |
155 | ||
156 | # Follow child / detach parent: the child is under debug and is | |
157 | # the current inferior. The parent is listed but is not under | |
158 | # debug. | |
b05b1202 | 159 | gdb_test "info inferiors" " 1 .*<null>.*\\* 2 .*process.*" \ |
a1aa2221 LM |
160 | "info inferiors" |
161 | ||
162 | } elseif {$who == "child" && $detach == "off"} { | |
163 | ||
164 | # Follow child / keep parent: two inferiors under debug, the | |
165 | # child is the current inferior. | |
b05b1202 | 166 | gdb_test "info inferiors" " 1 .*process.*\\* 2 .*process.*" \ |
a1aa2221 LM |
167 | "info inferiors" |
168 | ||
169 | gdb_test "inferior 1" "Switching to inferior 1 .*" | |
170 | set resume_unfollowed 1 | |
171 | } | |
172 | ||
173 | if {$resume_unfollowed == 1} { | |
174 | if {$cmd == "next 2"} { | |
175 | ||
176 | gdb_continue_to_end "continue unfollowed inferior to end" | |
177 | ||
178 | } elseif {$cmd == "continue"} { | |
179 | ||
180 | gdb_continue_to_breakpoint \ | |
181 | "continue unfollowed inferior to bp" \ | |
182 | ".* set breakpoint here.*" | |
183 | } | |
184 | } | |
185 | } | |
74cf1395 JM |
186 | } |
187 | ||
188 | proc catch_fork_child_follow {} { | |
a76e022a MS |
189 | global gdb_prompt |
190 | global srcfile | |
191 | ||
192 | set bp_after_fork [gdb_get_line_number "set breakpoint here"] | |
193 | ||
2c04da0d | 194 | gdb_test "catch fork" "Catchpoint \[0-9\]* \\(fork\\)" \ |
a76e022a MS |
195 | "explicit child follow, set catch fork" |
196 | ||
197 | # Verify that the catchpoint is mentioned in an "info breakpoints", | |
198 | # and further that the catchpoint mentions no process id. | |
199 | # | |
200 | set test_name "info shows catchpoint without pid" | |
201 | gdb_test_multiple "info breakpoints" "$test_name" { | |
202 | -re ".*catchpoint.*keep y.*fork\[\r\n\]+$gdb_prompt $" { | |
203 | pass "$test_name" | |
204 | } | |
205 | } | |
206 | ||
207 | gdb_test "continue" \ | |
2c04da0d | 208 | "Catchpoint \[0-9\]* \\(forked process \[0-9\]*\\),.*" \ |
a76e022a MS |
209 | "explicit child follow, catch fork" |
210 | ||
211 | # Verify that the catchpoint is mentioned in an "info breakpoints", | |
212 | # and further that the catchpoint managed to capture a process id. | |
213 | # | |
214 | set test_name "info shows catchpoint without pid" | |
215 | gdb_test_multiple "info breakpoints" "$test_name" { | |
216 | -re ".*catchpoint.*keep y.*fork, process.*$gdb_prompt $" { | |
217 | pass "$test_name" | |
218 | } | |
219 | } | |
220 | ||
221 | gdb_test_no_output "set follow-fork child" | |
222 | ||
223 | gdb_test "tbreak ${srcfile}:$bp_after_fork" \ | |
224 | "Temporary breakpoint.*, line $bp_after_fork.*" \ | |
225 | "set follow-fork child, tbreak" | |
226 | ||
f67c0c91 | 227 | set expected_re "\\\[Attaching after.* fork to.*\\\[Detaching after fork from" |
6f259a23 DB |
228 | append expected_re ".* at .*$bp_after_fork.*" |
229 | gdb_test "continue" $expected_re "set follow-fork child, hit tbreak" | |
a76e022a MS |
230 | |
231 | # The parent has been detached; allow time for any output it might | |
232 | # generate to arrive, so that output doesn't get confused with | |
233 | # any expected debugger output from a subsequent testpoint. | |
234 | # | |
235 | exec sleep 1 | |
236 | ||
237 | gdb_test "delete breakpoints" \ | |
238 | "" \ | |
239 | "set follow-fork child, cleanup" \ | |
e9101ff5 | 240 | "Delete all breakpoints. \\(y or n\\) $" \ |
a76e022a | 241 | "y" |
74cf1395 JM |
242 | } |
243 | ||
b242c3c2 | 244 | proc catch_fork_unpatch_child {} { |
a76e022a MS |
245 | global gdb_prompt |
246 | global srcfile | |
247 | ||
248 | set bp_exit [gdb_get_line_number "at exit"] | |
249 | ||
250 | gdb_test "break callee" "file .*$srcfile, line .*" \ | |
251 | "unpatch child, break at callee" | |
252 | gdb_test "catch fork" "Catchpoint \[0-9\]* \\(fork\\)" \ | |
253 | "unpatch child, set catch fork" | |
254 | ||
255 | gdb_test "continue" \ | |
2c04da0d | 256 | "Catchpoint \[0-9\]* \\(forked process \[0-9\]*\\),.*" \ |
a76e022a MS |
257 | "unpatch child, catch fork" |
258 | ||
259 | # Delete all breakpoints and catchpoints. | |
260 | delete_breakpoints | |
261 | ||
262 | # Force $srcfile as the current GDB source can be in glibc sourcetree. | |
263 | gdb_test "break $srcfile:$bp_exit" \ | |
264 | "Breakpoint .*file .*$srcfile, line .*" \ | |
265 | "unpatch child, breakpoint at exit call" | |
266 | ||
27d3a1a2 MS |
267 | gdb_test_no_output "set follow-fork child" \ |
268 | "unpatch child, set follow-fork child" | |
a76e022a MS |
269 | |
270 | set test "unpatch child, unpatched parent breakpoints from child" | |
271 | gdb_test_multiple "continue" $test { | |
272 | -re "at exit.*$gdb_prompt $" { | |
273 | pass "$test" | |
274 | } | |
275 | -re "SIGTRAP.*$gdb_prompt $" { | |
276 | fail "$test" | |
277 | ||
278 | # Explicitly kill this child, so we can continue gracefully | |
279 | # with further testing... | |
280 | send_gdb "kill\n" | |
281 | gdb_expect { | |
282 | -re ".*Kill the program being debugged.*y or n. $" { | |
283 | send_gdb "y\n" | |
284 | gdb_expect -re "$gdb_prompt $" {} | |
285 | } | |
286 | } | |
287 | } | |
288 | } | |
b242c3c2 PA |
289 | } |
290 | ||
74cf1395 | 291 | proc tcatch_fork_parent_follow {} { |
a76e022a MS |
292 | global gdb_prompt |
293 | global srcfile | |
294 | ||
295 | set bp_after_fork [gdb_get_line_number "set breakpoint here"] | |
296 | ||
2c04da0d | 297 | gdb_test "catch fork" "Catchpoint \[0-9\]* \\(fork\\)" \ |
a76e022a MS |
298 | "explicit parent follow, set tcatch fork" |
299 | ||
74cf1395 JM |
300 | # ??rehrauer: I don't yet know how to get the id of the tcatch |
301 | # via this script, so that I can add a -do list to it. For now, | |
302 | # do the follow stuff after the catch happens. | |
303 | ||
2c04da0d UW |
304 | gdb_test "continue" \ |
305 | "Catchpoint \[0-9\]* \\(forked process \[0-9\]*\\),.*" \ | |
a76e022a MS |
306 | "explicit parent follow, tcatch fork" |
307 | ||
308 | gdb_test_no_output "set follow-fork parent" | |
309 | ||
310 | gdb_test "tbreak ${srcfile}:$bp_after_fork" \ | |
311 | "Temporary breakpoint.*, line $bp_after_fork.*" \ | |
312 | "set follow-fork parent, tbreak" | |
313 | ||
314 | gdb_test "continue" \ | |
f67c0c91 | 315 | "\\\[Detaching after fork from.* at .*$bp_after_fork.*" \ |
a76e022a MS |
316 | "set follow-fork parent, hit tbreak" |
317 | ||
318 | # The child has been detached; allow time for any output it might | |
319 | # generate to arrive, so that output doesn't get confused with | |
320 | # any expected debugger output from a subsequent testpoint. | |
321 | # | |
322 | exec sleep 1 | |
323 | ||
324 | gdb_test "delete breakpoints" \ | |
325 | "" \ | |
326 | "set follow-fork parent, cleanup" \ | |
e9101ff5 | 327 | "Delete all breakpoints. \\(y or n\\) $" \ |
a76e022a | 328 | "y" |
74cf1395 JM |
329 | } |
330 | ||
331 | proc do_fork_tests {} { | |
a76e022a | 332 | global gdb_prompt |
a1aa2221 | 333 | global testfile |
74cf1395 | 334 | |
a76e022a MS |
335 | # Verify that help is available for "set follow-fork-mode". |
336 | # | |
337 | gdb_test "help set follow-fork-mode" \ | |
338 | "Set debugger response to a program call of fork or vfork..* | |
74cf1395 JM |
339 | A fork or vfork creates a new process. follow-fork-mode can be:.* |
340 | .*parent - the original process is debugged after a fork.* | |
341 | .*child - the new process is debugged after a fork.* | |
ef04f396 | 342 | The unfollowed process will continue to run..* |
a76e022a MS |
343 | By default, the debugger will follow the parent process..*" \ |
344 | "help set follow-fork" | |
345 | ||
346 | # Verify that we can set follow-fork-mode, using an abbreviation | |
347 | # for both the flag and its value. | |
348 | # | |
349 | gdb_test_no_output "set follow-fork ch" | |
350 | ||
351 | gdb_test "show follow-fork" \ | |
352 | "Debugger response to a program call of fork or vfork is \"child\".*" \ | |
353 | "set follow-fork, using abbreviations" | |
354 | ||
355 | # Verify that we cannot set follow-fork-mode to nonsense. | |
356 | # | |
357 | gdb_test "set follow-fork chork" "Undefined item: \"chork\".*" \ | |
358 | "set follow-fork to nonsense is prohibited" | |
359 | ||
360 | gdb_test_no_output "set follow-fork parent" "reset parent" | |
361 | ||
362 | # Check that fork catchpoints are supported, as an indicator for whether | |
363 | # fork-following is supported. | |
364 | if [runto_main] then { check_fork_catchpoints } | |
365 | ||
a1aa2221 LM |
366 | # Test the basic follow-fork functionality using all combinations of |
367 | # values for follow-fork-mode and detach-on-fork, using either a | |
368 | # breakpoint or single-step to execute past the fork. | |
a76e022a | 369 | # |
a1aa2221 LM |
370 | # The first loop should be sufficient to test the defaults. There |
371 | # is no need to test using the defaults in other permutations (e.g. | |
372 | # "default" "on", "parent" "default", etc.). | |
373 | foreach cmd {"next 2" "continue"} { | |
374 | test_follow_fork "default" "default" $cmd | |
375 | } | |
a76e022a | 376 | |
a1aa2221 LM |
377 | # Now test all explicit permutations. |
378 | foreach who {"parent" "child"} { | |
379 | foreach detach {"on" "off"} { | |
380 | foreach cmd {"next 2" "continue"} { | |
381 | test_follow_fork $who $detach $cmd | |
382 | } | |
383 | } | |
384 | } | |
a76e022a | 385 | |
a1aa2221 | 386 | # Catchpoint tests. |
a76e022a | 387 | |
a1aa2221 LM |
388 | # Restart to eliminate any effects of the follow-fork tests. |
389 | clean_restart $testfile | |
390 | gdb_test_no_output "set verbose" | |
a76e022a MS |
391 | |
392 | # Test the ability to catch a fork, specify that the child be | |
393 | # followed, and continue. Make the catchpoint permanent. | |
394 | # | |
395 | if [runto_main] then { catch_fork_child_follow } | |
396 | ||
397 | # Test that parent breakpoints are successfully detached from the | |
398 | # child at fork time, even if the user removes them from the | |
399 | # breakpoints list after stopping at a fork catchpoint. | |
400 | if [runto_main] then { catch_fork_unpatch_child } | |
401 | ||
402 | # Test the ability to catch a fork, specify via a -do clause that | |
403 | # the parent be followed, and continue. Make the catchpoint temporary. | |
404 | # | |
405 | if [runto_main] then { tcatch_fork_parent_follow } | |
74cf1395 JM |
406 | } |
407 | ||
74cf1395 JM |
408 | # This is a test of gdb's ability to follow the parent, child or both |
409 | # parent and child of a Unix fork() system call. | |
410 | # | |
411 | do_fork_tests | |
412 | ||
413 | return 0 |