gdb/testsuite/gdb.base/checkpoint.exp

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