Commit | Line | Data |
---|---|---|
9b254dd1 | 1 | # Copyright 2005, 2007, 2008 Free Software Foundation, Inc. |
099ac3dd MS |
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 |
099ac3dd | 6 | # (at your option) any later version. |
e22f8b7c | 7 | # |
099ac3dd MS |
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 | # |
099ac3dd | 13 | # You should have received a copy of the GNU General Public License |
e22f8b7c | 14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
099ac3dd MS |
15 | |
16 | # Please email any bugs, comments, and/or additions to this file to: | |
17 | # bug-gdb@prep.ai.mit.edu | |
18 | ||
19 | if $tracelevel then { | |
20 | strace $tracelevel | |
21 | } | |
22 | ||
db9d7fc5 | 23 | if { [is_remote target] || ![isnative] } then { |
099ac3dd MS |
24 | continue |
25 | } | |
26 | ||
27 | # Until "set follow-fork-mode" and "catch fork" are implemented on | |
28 | # other targets... | |
29 | # | |
30 | if {![istarget "*-*-linux*"]} then { | |
31 | continue | |
32 | } | |
33 | ||
34 | set prms_id 0 | |
35 | set bug_id 0 | |
36 | ||
37 | set testfile "checkpoint" | |
38 | set srcfile ${testfile}.c | |
39 | set binfile ${objdir}/${subdir}/${testfile} | |
40 | ||
41 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } { | |
b60f0898 JB |
42 | untested checkpoint.exp |
43 | return -1 | |
099ac3dd MS |
44 | } |
45 | ||
46 | # Start with a fresh gdb | |
47 | ||
48 | gdb_exit | |
49 | gdb_start | |
50 | gdb_reinitialize_dir $srcdir/$subdir | |
51 | gdb_load ${binfile} | |
52 | ||
53 | global gdb_prompt | |
54 | ||
55 | # | |
56 | # This tests gdb checkpoint and restart. | |
57 | # | |
58 | ||
59 | remote_download host ${srcdir}/${subdir}/pi.txt pi.txt | |
60 | ||
61 | runto_main | |
62 | set break1_loc [gdb_get_line_number "breakpoint 1"] | |
63 | set break2_loc [gdb_get_line_number "breakpoint 2"] | |
64 | set break3_loc [gdb_get_line_number "breakpoint 3"] | |
65 | set break4_loc [gdb_get_line_number "breakpoint 4"] | |
66 | ||
67 | gdb_breakpoint $break1_loc | |
68 | gdb_test "continue" "breakpoint 1.*" "break1 start" | |
69 | ||
70 | gdb_test "checkpoint" "" "" | |
71 | gdb_test "continue 10" "breakpoint 1.*" "break1 two" | |
72 | ||
73 | gdb_test "checkpoint" "" "" | |
74 | gdb_test "continue 10" "breakpoint 1.*" "break1 three" | |
75 | ||
76 | gdb_test "checkpoint" "" "" | |
77 | gdb_test "continue 10" "breakpoint 1.*" "break1 four" | |
78 | ||
79 | gdb_test "checkpoint" "" "" | |
80 | gdb_test "continue 10" "breakpoint 1.*" "break1 five" | |
81 | ||
82 | gdb_test "checkpoint" "" "" | |
83 | gdb_test "continue 10" "breakpoint 1.*" "break1 six" | |
84 | ||
85 | gdb_test "checkpoint" "" "" | |
86 | gdb_test "continue 10" "breakpoint 1.*" "break1 seven" | |
87 | ||
88 | gdb_test "checkpoint" "" "" | |
89 | gdb_test "continue 10" "breakpoint 1.*" "break1 eight" | |
90 | ||
91 | gdb_test "checkpoint" "" "" | |
92 | gdb_test "continue 10" "breakpoint 1.*" "break1 nine" | |
93 | ||
94 | gdb_test "checkpoint" "" "" | |
95 | gdb_test "continue 10" "breakpoint 1.*" "break1 ten" | |
96 | ||
97 | gdb_test "checkpoint" "" "" | |
98 | ||
99 | gdb_test "info checkpoints" \ | |
100 | " 10 .* 9 .* 8 .* 7 .* 6 .* 5 .* 4 .* 3 .* 2 .* 1 .*" \ | |
101 | "info checkpoints one" | |
102 | ||
103 | delete_breakpoints | |
104 | gdb_breakpoint $break2_loc | |
105 | gdb_test "continue" "breakpoint 2.*" "break2 one" | |
106 | ||
107 | gdb_test "restart 1" "Switching to .*breakpoint 1.*" "restart 1 one" | |
108 | gdb_test "print i" " = 78" "verify i 1 one" | |
109 | gdb_test "step" "if .c == EOF.*" "step in 1 one" | |
110 | gdb_test "print lines" " = 1.*" "verify lines 1 one" | |
111 | ||
112 | gdb_test "restart 2" "Switching to .*breakpoint 1.*" "restart 2 one" | |
113 | gdb_test "step" "if .c == EOF.*" "step in 2 one" | |
114 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 2 one" | |
115 | gdb_test "print lines" " = 11.*" "verify lines 2 one" | |
116 | ||
117 | gdb_test "restart 3" "Switching to .*breakpoint 1.*" "restart 3 one" | |
118 | gdb_test "step" "if .c == EOF.*" "step in 3 one" | |
119 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 3 one" | |
120 | gdb_test "print lines" " = 21.*" "verify lines 3 one" | |
121 | ||
122 | gdb_test "restart 4" "Switching to .*breakpoint 1.*" "restart 4 one" | |
123 | gdb_test "step" "if .c == EOF.*" "step in 4 one" | |
124 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 4 one" | |
125 | gdb_test "print lines" " = 31.*" "verify lines 4 one" | |
126 | ||
127 | gdb_test "restart 5" "Switching to .*breakpoint 1.*" "restart 5 one" | |
128 | gdb_test "step" "if .c == EOF.*" "step in 5 one" | |
129 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 5 one" | |
130 | gdb_test "print lines" " = 41.*" "verify lines 5 one" | |
131 | ||
132 | gdb_test "restart 6" "Switching to .*breakpoint 1.*" "restart 6 one" | |
133 | gdb_test "step" "if .c == EOF.*" "step in 6 one" | |
134 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 6 one" | |
135 | gdb_test "print lines" " = 51.*" "verify lines 6 one" | |
136 | ||
137 | gdb_test "restart 7" "Switching to .*breakpoint 1.*" "restart 7 one" | |
138 | gdb_test "step" "if .c == EOF.*" "step in 7 one" | |
139 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 7 one" | |
140 | gdb_test "print lines" " = 61.*" "verify lines 7 one" | |
141 | ||
142 | gdb_test "restart 8" "Switching to .*breakpoint 1.*" "restart 8 one" | |
143 | gdb_test "step" "if .c == EOF.*" "step in 8 one" | |
144 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 8 one" | |
145 | gdb_test "print lines" " = 71.*" "verify lines 8 one" | |
146 | ||
147 | gdb_test "restart 9" "Switching to .*breakpoint 1.*" "restart 9 one" | |
148 | gdb_test "step" "if .c == EOF.*" "step in 9 one" | |
149 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 9 one" | |
150 | gdb_test "print lines" " = 81.*" "verify lines 9 one" | |
151 | ||
152 | gdb_test "restart 10" "Switching to .*breakpoint 1.*" "restart 10 one" | |
153 | gdb_test "step" "if .c == EOF.*" "step in 10 one" | |
154 | gdb_test "print i + 1 == lines * 79" " = 1" "verify i 10 one" | |
155 | gdb_test "print lines" " = 91.*" "verify lines 10 one" | |
156 | ||
157 | # | |
158 | # Now let the files be closed by the original process, | |
159 | # and diff them. | |
160 | ||
161 | gdb_test "restart 0" "Switching to .*breakpoint 2.*" "restart 0 one" | |
162 | gdb_breakpoint $break3_loc | |
163 | gdb_test "continue" "breakpoint 3.*" "break3 one" | |
164 | ||
165 | gdb_test "shell diff -s pi.txt copy1.txt" \ | |
166 | "Files pi.txt and copy1.txt are identical.*" \ | |
167 | "Diff input and output one" | |
168 | ||
169 | # | |
170 | # And now run from various checkpoints, allowing | |
171 | # various amounts of input and output. | |
172 | # | |
173 | ||
174 | gdb_breakpoint $break1_loc | |
175 | ||
176 | gdb_test "restart 1" "Switching to .*c == EOF.*" "restart 1 two" | |
177 | gdb_test "continue" "" "" | |
178 | gdb_test "continue 100" "breakpoint 1.*" "breakpoint 1 1 one" | |
179 | gdb_test "step" "if .c == EOF.*" "step in 1 two" | |
180 | gdb_test "print lines" " = 102.*" "verify lines 1 two" | |
181 | ||
182 | gdb_test "restart 2" "Switching to .*c == EOF.*" "restart 2 two" | |
183 | gdb_test "continue" "" "" | |
184 | gdb_test "continue 100" "breakpoint 1.*" "breakpoint 1 2 one" | |
185 | gdb_test "step" "if .c == EOF.*" "step in 2 two" | |
186 | gdb_test "print lines" " = 112.*" "verify lines 2 two" | |
187 | ||
188 | gdb_test "restart 3" "Switching to .*c == EOF.*" "restart 3 two" | |
189 | gdb_test "continue" "" "" | |
190 | gdb_test "continue 500" "breakpoint 1.*" "breakpoint 1 3 one" | |
191 | gdb_test "step" "if .c == EOF.*" "step in 3 two" | |
192 | gdb_test "print lines" " = 522.*" "verify lines 3 two" | |
193 | ||
194 | gdb_test "restart 4" "Switching to .*c == EOF.*" "restart 4 two" | |
195 | gdb_test "continue" "" "" | |
196 | gdb_test "continue 500" "breakpoint 1.*" "breakpoint 1 4 one" | |
197 | gdb_test "step" "if .c == EOF.*" "step in 4 two" | |
198 | gdb_test "print lines" " = 532.*" "verify lines 4 two" | |
199 | ||
200 | gdb_test "restart 5" "Switching to .*c == EOF.*" "restart 5 two" | |
201 | gdb_test "continue" "" "" | |
202 | gdb_test "continue 1000" "breakpoint 1.*" "breakpoint 1 5 one" | |
203 | gdb_test "step" "if .c == EOF.*" "step in 5 two" | |
204 | gdb_test "print lines" " = 1042.*" "verify lines 5 two" | |
205 | ||
206 | gdb_test "restart 6" "Switching to .*c == EOF.*" "restart 6 two" | |
207 | gdb_test "continue" "" "" | |
208 | gdb_test "continue 1000" "breakpoint 1.*" "breakpoint 1 6 one" | |
209 | gdb_test "step" "if .c == EOF.*" "step in 6 two" | |
210 | gdb_test "print lines" " = 1052.*" "verify lines 5 two" | |
211 | ||
212 | gdb_test "restart 7" "Switching to .*c == EOF.*" "restart 7 two" | |
213 | gdb_test "continue" "" "" | |
214 | gdb_test "continue 1100" "breakpoint 1.*" "breakpoint 1 7 one" | |
215 | gdb_test "step" "if .c == EOF.*" "step in 7 two" | |
216 | gdb_test "print lines" " = 1162.*" "verify lines 7 two" | |
217 | ||
218 | gdb_test "shell diff -s pi.txt copy1.txt" \ | |
219 | "Files pi.txt and copy1.txt are identical.*" \ | |
220 | "Diff input and output two" | |
221 | ||
222 | # | |
223 | # OK, now allow the original program to delete the output file, | |
224 | # and verify that the checkpoints can still write to it. | |
225 | # | |
226 | ||
227 | gdb_test "restart 0" "Switching to .*breakpoint 3.*" "restart 0 one" | |
228 | gdb_breakpoint $break4_loc | |
229 | gdb_test "continue" "breakpoint 4.*" "break4 one" | |
230 | ||
231 | gdb_test "shell diff pi.txt copy1.txt" \ | |
232 | "diff: copy1.txt: No such file or directory" \ | |
233 | "delete copy1" | |
234 | ||
235 | delete_breakpoints | |
236 | gdb_breakpoint $break2_loc | |
237 | ||
238 | gdb_test "restart 1" "if .c == EOF.*" "restart 1 three" | |
239 | gdb_test "continue" "breakpoint 2.*" "break2 1 one" | |
240 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 1" | |
241 | ||
242 | gdb_test "restart 2" "if .c == EOF.*" "restart 1 three" | |
243 | gdb_test "continue" "breakpoint 2.*" "break2 2 one" | |
244 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 2" | |
245 | ||
246 | gdb_test "restart 3" "if .c == EOF.*" "restart 1 three" | |
247 | gdb_test "continue" "breakpoint 2.*" "break2 3 one" | |
248 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 3" | |
249 | ||
250 | gdb_test "restart 4" "if .c == EOF.*" "restart 1 three" | |
251 | gdb_test "continue" "breakpoint 2.*" "break2 4 one" | |
252 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 4" | |
253 | ||
254 | gdb_test "restart 5" "if .c == EOF.*" "restart 1 three" | |
255 | gdb_test "continue" "breakpoint 2.*" "break2 5 one" | |
256 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 5" | |
257 | ||
258 | gdb_test "restart 6" "if .c == EOF.*" "restart 1 three" | |
259 | gdb_test "continue" "breakpoint 2.*" "break2 6 one" | |
260 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 6" | |
261 | ||
262 | gdb_test "restart 7" "if .c == EOF.*" "restart 1 three" | |
263 | gdb_test "continue" "breakpoint 2.*" "break2 7 one" | |
264 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 7" | |
265 | ||
266 | gdb_test "restart 8" "if .c == EOF.*" "restart 1 three" | |
267 | gdb_test "continue" "breakpoint 2.*" "break2 8 one" | |
268 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 8" | |
269 | ||
270 | gdb_test "restart 9" "if .c == EOF.*" "restart 1 three" | |
271 | gdb_test "continue" "breakpoint 2.*" "break2 9 one" | |
272 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 9" | |
273 | ||
274 | gdb_test "restart 10" "if .c == EOF.*" "restart 1 three" | |
275 | gdb_test "continue" "breakpoint 2.*" "break2 10 one" | |
276 | gdb_test "print ftell (out) > 100000" " = 1.*" "outfile still open 10" | |
277 | ||
278 | # | |
279 | # Now confirm that if one fork exits, we automatically switch to another one. | |
280 | # | |
281 | ||
282 | delete_breakpoints | |
283 | gdb_test "continue" \ | |
284 | "Deleting copy.*Program exited normally.*Switching to.*" \ | |
285 | "Exit, dropped into next fork one" | |
286 | ||
287 | gdb_test "continue" \ | |
288 | "Deleting copy.*Program exited normally.*Switching to.*" \ | |
289 | "Exit, dropped into next fork two" | |
290 | ||
291 | gdb_test "continue" \ | |
292 | "Deleting copy.*Program exited normally.*Switching to.*" \ | |
293 | "Exit, dropped into next fork three" | |
294 | ||
295 | gdb_test "continue" \ | |
296 | "Deleting copy.*Program exited normally.*Switching to.*" \ | |
297 | "Exit, dropped into next fork four" | |
298 | ||
299 | gdb_test "continue" \ | |
300 | "Deleting copy.*Program exited normally.*Switching to.*" \ | |
301 | "Exit, dropped into next fork five" | |
302 | ||
303 | # | |
304 | # There should be still at least five forks left | |
305 | # | |
306 | ||
307 | gdb_test "info checkpoints" " 5 .* 4 .* 3 .* 2 .* 1 .*" \ | |
308 | "info checkpoints two" | |
309 | ||
310 | # | |
311 | # Kill should now terminate all of them. | |
312 | # | |
313 | ||
314 | gdb_test "kill" "" "kill all one" \ | |
315 | "Kill the program being debugged.*y or n. $" "y" | |
316 | ||
317 | # | |
318 | # and confirm that all are gone | |
319 | # | |
320 | ||
321 | gdb_test "restart 0" "Not found.*" "no more checkpoint 0" | |
322 | gdb_test "restart 1" "Not found.*" "no more checkpoint 1" | |
323 | gdb_test "restart 2" "Not found.*" "no more checkpoint 2" | |
324 | gdb_test "restart 3" "Not found.*" "no more checkpoint 3" | |
325 | gdb_test "restart 4" "Not found.*" "no more checkpoint 4" | |
326 | gdb_test "restart 5" "Not found.*" "no more checkpoint 5" | |
327 | gdb_test "restart 6" "Not found.*" "no more checkpoint 6" | |
328 | gdb_test "restart 7" "Not found.*" "no more checkpoint 7" | |
329 | gdb_test "restart 8" "Not found.*" "no more checkpoint 8" | |
330 | gdb_test "restart 9" "Not found.*" "no more checkpoint 9" | |
331 | gdb_test "restart 10" "Not found.*" "no more checkpoint 10" | |
332 | ||
333 | # | |
334 | # Now let's try setting a large number of checkpoints (>1000) | |
335 | # | |
336 | ||
337 | gdb_exit | |
338 | gdb_start | |
339 | gdb_reinitialize_dir $srcdir/$subdir | |
340 | gdb_load ${binfile} | |
341 | ||
342 | runto_main | |
343 | gdb_breakpoint $break1_loc | |
344 | ||
345 | send_gdb "commands\n" | |
346 | send_gdb " silent\n" | |
347 | send_gdb " if (lines % 2)\n" | |
348 | send_gdb " checkpoint\n" | |
349 | send_gdb " end\n" | |
350 | send_gdb " continue\n" | |
351 | send_gdb "end\n" | |
352 | ||
353 | gdb_expect { | |
354 | -re ".*$gdb_prompt $" { pass "set checkpoint breakpoint" } | |
355 | timeout { fail "(timeout) set checkpoint breakpoint" } | |
356 | } | |
357 | ||
358 | gdb_breakpoint $break2_loc | |
359 | gdb_test "continue" "breakpoint 2.*" "break2 with many checkpoints" | |
360 | ||
47b67b60 DJ |
361 | set count 0 |
362 | set msg "info checkpoints with at least 600 checkpoints" | |
363 | gdb_test_multiple "info checkpoints" $msg { | |
364 | -re " $decimal process \[^\r\]*\r\n" { | |
365 | incr count | |
366 | exp_continue | |
367 | } | |
368 | -re "$gdb_prompt $" { | |
369 | if { $count >= 600 } { | |
370 | pass $msg | |
371 | } else { | |
372 | fail $msg | |
373 | } | |
374 | } | |
375 | } | |
099ac3dd MS |
376 | |
377 | # | |
378 | # OK, kill 'em all... | |
379 | # | |
380 | ||
381 | gdb_test "kill" "" "kill all one" \ | |
382 | "Kill the program being debugged.*y or n. $" "y" | |
383 | ||
384 | # | |
385 | # Finished: cleanup | |
386 | # | |
387 | ||
388 | remote_exec build "rm -f pi.txt" |