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