gdb/testsuite/gdb.base/checkpoint.exp - binutils-gdb - Git at Google

 #   Copyright 2005-2024 Free Software Foundation, Inc.

 # This program is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation; either version 3 of the License, or
 # (at your option) any later version.
 #
 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of
 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 # GNU General Public License for more details.
 #
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

 # Until "set follow-fork-mode" and "catch fork" are implemented on
 # other targets...
 #
 require {istarget "*-*-linux*"}

 # Checkpoint support is currently implemented in the Linux native
 # target, so only works with "target native".
 if { [target_info gdb_protocol] != "" } {
     return
 }

 # Must name the source file explicitly, otherwise when driven by
 # checkpoints-ns.exp, we'd try compiling checkpoints-ns.c, which
 # doesn't exist.
 standard_testfile checkpoint.c

 set pi_txt [gdb_remote_download host ${srcdir}/${subdir}/pi.txt]
 if {[is_remote host]} {
     set copy1_txt copy1.txt
 } else {
     set copy1_txt [standard_output_file copy1.txt]
 }

 if {[prepare_for_testing "failed to prepare" $testfile $srcfile \
 	 [list debug "additional_flags=-DPI_TXT=\"$pi_txt\" -DCOPY1_TXT=\"$copy1_txt\""]]} {
      return -1
 }

 global gdb_prompt

 #
 # This tests gdb checkpoint and restart.
 #

 runto_main
 set break1_loc [gdb_get_line_number "breakpoint 1"]
 set break2_loc [gdb_get_line_number "breakpoint 2"]
 set break3_loc [gdb_get_line_number "breakpoint 3"]
 set break4_loc [gdb_get_line_number "breakpoint 4"]

 gdb_breakpoint $break1_loc
 gdb_test "continue" "breakpoint 1.*" "break1 start"
 gdb_test "checkpoint" "" "checkpoint one"

 gdb_test "continue 10" "breakpoint 1.*" "break1 two"
 gdb_test "checkpoint" "" "checkpoint two"

 gdb_test "continue 10" "breakpoint 1.*" "break1 three"
 gdb_test "checkpoint" "" "checkpoint three"

 gdb_test "continue 10" "breakpoint 1.*" "break1 four"
 gdb_test "checkpoint" "" "checkpoint four"

 gdb_test "continue 10" "breakpoint 1.*" "break1 five"
 gdb_test "checkpoint" "" "checkpoint five"

 gdb_test "continue 10" "breakpoint 1.*" "break1 six"
 gdb_test "checkpoint" "" "checkpoint six"

 gdb_test "continue 10" "breakpoint 1.*" "break1 seven"
 gdb_test "checkpoint" "" "checkpoint seven"

 gdb_test "continue 10" "breakpoint 1.*" "break1 eight"
 gdb_test "checkpoint" "" "checkpoint eight"

 gdb_test "continue 10" "breakpoint 1.*" "break1 nine"
 gdb_test "checkpoint" "" "checkpoint nine"

 gdb_test "continue 10" "breakpoint 1.*" "break1 ten"
 gdb_test "checkpoint" "" "checkpoint ten"

 set info_checkpoints_re ""
 for { set i 0 } { $i <= 10 } { incr i } {
     append info_checkpoints_re " $i .* file .*"
 }
 gdb_test "info checkpoints" $info_checkpoints_re "info checkpoints one"

 delete_breakpoints
 gdb_breakpoint $break2_loc
 gdb_test "continue" "breakpoint 2.*" "break2 one"

 gdb_test "restart 1" "Switching to .*breakpoint 1.*" "restart 1 one"
 gdb_test "print i" " = 78" "verify i 1 one"
 gdb_test "step" "if .c == EOF.*" "step in 1 one"
 gdb_test "print lines" " = 1.*" "verify lines 1 one"

 gdb_test "restart 2" "Switching to .*breakpoint 1.*" "restart 2 one"
 gdb_test "step" "if .c == EOF.*" "step in 2 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 2 one"
 gdb_test "print lines" " = 11.*" "verify lines 2 one"

 gdb_test "restart 3" "Switching to .*breakpoint 1.*" "restart 3 one"
 gdb_test "step" "if .c == EOF.*" "step in 3 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 3 one"
 gdb_test "print lines" " = 21.*" "verify lines 3 one"

 gdb_test "restart 4" "Switching to .*breakpoint 1.*" "restart 4 one"
 gdb_test "step" "if .c == EOF.*" "step in 4 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 4 one"
 gdb_test "print lines" " = 31.*" "verify lines 4 one"

 gdb_test "restart 5" "Switching to .*breakpoint 1.*" "restart 5 one"
 gdb_test "step" "if .c == EOF.*" "step in 5 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 5 one"
 gdb_test "print lines" " = 41.*" "verify lines 5 one"

 gdb_test "restart 6" "Switching to .*breakpoint 1.*" "restart 6 one"
 gdb_test "step" "if .c == EOF.*" "step in 6 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 6 one"
 gdb_test "print lines" " = 51.*" "verify lines 6 one"

 gdb_test "restart 7" "Switching to .*breakpoint 1.*" "restart 7 one"
 gdb_test "step" "if .c == EOF.*" "step in 7 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 7 one"
 gdb_test "print lines" " = 61.*" "verify lines 7 one"

 gdb_test "restart 8" "Switching to .*breakpoint 1.*" "restart 8 one"
 gdb_test "step" "if .c == EOF.*" "step in 8 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 8 one"
 gdb_test "print lines" " = 71.*" "verify lines 8 one"

 gdb_test "restart 9" "Switching to .*breakpoint 1.*" "restart 9 one"
 gdb_test "step" "if .c == EOF.*" "step in 9 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 9 one"
 gdb_test "print lines" " = 81.*" "verify lines 9 one"

 gdb_test "restart 10" "Switching to .*breakpoint 1.*" "restart 10 one"
 gdb_test "step" "if .c == EOF.*" "step in 10 one"
 gdb_test "print i + 1 == lines * 79" " = 1" "verify i 10 one"
 gdb_test "print lines" " = 91.*" "verify lines 10 one"

 #
 # Now let the files be closed by the original process,
 # and diff them.

 gdb_test "restart 0" "Switching to .*breakpoint 2.*" "restart 0 one"
 gdb_breakpoint $break3_loc
 gdb_test "continue" "breakpoint 3.*" "break3 one"

 gdb_test "shell diff -s $pi_txt $copy1_txt" \
     "Files .*pi.txt and .*copy1.txt are identical.*" \
     "diff input and output one"

 #
 # And now run from various checkpoints, allowing
 # various amounts of input and output.
 #

 gdb_breakpoint $break1_loc

 gdb_test "restart 1" "Switching to .*c == EOF.*" "restart 1 two"
 gdb_test "continue" "" "continue, 1"
 gdb_test "continue 100" "breakpoint 1.*" "breakpoint 1 1 one"
 gdb_test "step" "if .c == EOF.*" "step in 1 two"
 gdb_test "print lines" " = 102.*" "verify lines 1 two"

 gdb_test "restart 2" "Switching to .*c == EOF.*" "restart 2 two"
 gdb_test "continue" "" "continue, 2"
 gdb_test "continue 100" "breakpoint 1.*" "breakpoint 1 2 one"
 gdb_test "step" "if .c == EOF.*" "step in 2 two"
 gdb_test "print lines" " = 112.*" "verify lines 2 two"

 gdb_test "restart 3" "Switching to .*c == EOF.*" "restart 3 two"
 gdb_test "continue" "" "continue, 3"
 gdb_test "continue 500" "breakpoint 1.*" "breakpoint 1 3 one"
 gdb_test "step" "if .c == EOF.*" "step in 3 two"
 gdb_test "print lines" " = 522.*" "verify lines 3 two"

 gdb_test "restart 4" "Switching to .*c == EOF.*" "restart 4 two"
 gdb_test "continue" "" "continue, 4"
 gdb_test "continue 500" "breakpoint 1.*" "breakpoint 1 4 one"
 gdb_test "step" "if .c == EOF.*" "step in 4 two"
 gdb_test "print lines" " = 532.*" "verify lines 4 two"

 gdb_test "restart 5" "Switching to .*c == EOF.*" "restart 5 two"
 gdb_test "continue" "" "continue, 5"
 gdb_test "continue 1000" "breakpoint 1.*" "breakpoint 1 5 one"
 gdb_test "step" "if .c == EOF.*" "step in 5 two"
 gdb_test "print lines" " = 1042.*" "verify lines 5 two"

 gdb_test "restart 6" "Switching to .*c == EOF.*" "restart 6 two"
 gdb_test "continue" "" "continue, 6"
 gdb_test "continue 1000" "breakpoint 1.*" "breakpoint 1 6 one"
 gdb_test "step" "if .c == EOF.*" "step in 6 two"
 gdb_test "print lines" " = 1052.*" "verify lines 6 two"

 gdb_test "restart 7" "Switching to .*c == EOF.*" "restart 7 two"
 gdb_test "continue" "" "continue, 7"
 gdb_test "continue 1100" "breakpoint 1.*" "breakpoint 1 7 one"
 gdb_test "step" "if .c == EOF.*" "step in 7 two"
 gdb_test "print lines" " = 1162.*" "verify lines 7 two"

 gdb_test "shell diff -s $pi_txt $copy1_txt" \
     "Files .*pi.txt and .*copy1.txt are identical.*" \
     "diff input and output two"

 #
 # OK, now allow the original program to delete the output file,
 # and verify that the checkpoints can still write to it.
 #

 gdb_test "restart 0" "Switching to .*breakpoint 3.*" "restart 0 two"
 gdb_breakpoint $break4_loc
 gdb_test "continue" "breakpoint 4.*" "break4 one"

 gdb_test "shell diff $pi_txt $copy1_txt" \
     "diff: .*copy1.txt: No such file or directory" \
     "delete copy1"

 delete_breakpoints
 gdb_breakpoint $break2_loc

 for {set num 1} {$num <= 10} {incr num} {
     gdb_test "restart $num" "if .c == EOF.*" "restart $num three"
     gdb_test "continue" "breakpoint 2.*" "break2 $num one"
     gdb_test "print (long) ftell (out) > 100000" " = 1.*" "outfile still open $num"
 }

 #
 # Now confirm that if one fork exits, we automatically switch to another one.
 #

 delete_breakpoints
 gdb_test "continue" \
     "Deleting copy.*$inferior_exited_re normally.*Switching to.*" \
     "exit, dropped into next fork one"

 gdb_test "continue" \
     "Deleting copy.*$inferior_exited_re normally.*Switching to.*" \
     "exit, dropped into next fork two"

 gdb_test "continue" \
     "Deleting copy.*$inferior_exited_re normally.*Switching to.*" \
     "exit, dropped into next fork three"

 gdb_test "continue" \
     "Deleting copy.*$inferior_exited_re normally.*Switching to.*" \
     "exit, dropped into next fork four"

 gdb_test "continue" \
     "Deleting copy.*$inferior_exited_re normally.*Switching to.*" \
     "exit, dropped into next fork five"

 #
 # There should be still at least five forks left
 #

 gdb_test "info checkpoints" " 1 .* 2 .* 3 .* 4 .* 5 .*" \
     "info checkpoints two"

 #
 # Kill should now terminate all of them.
 #

 gdb_test "kill" "" "kill all one" \
     "Kill the program being debugged.*y or n. $" "y"

 #
 # and confirm that all are gone
 #

 gdb_test "restart 0" "has no checkpoints" "no more checkpoint 0"
 gdb_test "restart 1" "has no checkpoints" "no more checkpoint 1"
 gdb_test "restart 2" "has no checkpoints" "no more checkpoint 2"
 gdb_test "restart 3" "has no checkpoints" "no more checkpoint 3"
 gdb_test "restart 4" "has no checkpoints" "no more checkpoint 4"
 gdb_test "restart 5" "has no checkpoints" "no more checkpoint 5"
 gdb_test "restart 6" "has no checkpoints" "no more checkpoint 6"
 gdb_test "restart 7" "has no checkpoints" "no more checkpoint 7"
 gdb_test "restart 8" "has no checkpoints" "no more checkpoint 8"
 gdb_test "restart 9" "has no checkpoints" "no more checkpoint 9"
 gdb_test "restart 10" "has no checkpoints" "no more checkpoint 10"

 #
 # Now let's try setting a large number of checkpoints (>600)
 #

 clean_restart $binfile

 runto_main
 gdb_breakpoint $break1_loc

 set cmd \
     [join \
 	 [list \
 	      "commands" \
 	      "if (lines % 2)" \
 	      "  checkpoint" \
 	      "else" \
 	      "  continue" \
 	      "end" \
 	      "end"] \
 	 "\n"]
 gdb_test $cmd \
     "" \
     "set checkpoint breakpoint"

 set nr_ok 0
 for {set iter 0} {$iter < 600} {incr iter} {
     set ok 0
     gdb_test_multiple "continue" "" {
 	-re -wrap "breakpoint 1.*" {
 	    set ok 1
 	}
 	-re -wrap "" {
 	}
     }
     if { $ok } {
 	incr nr_ok
     } else {
 	break
     }
 }
 gdb_assert { $nr_ok == 600 } "break1 with many checkpoints"

 set count 0
 set msg "info checkpoints with at least 600 checkpoints"
 gdb_test_multiple "info checkpoints" $msg {
     -re "\r\n *$decimal n +process \[^\r\]*" {
 	incr count
 	exp_continue
     }
     -re -wrap "" {
 	gdb_assert { $count == 600 } $gdb_test_name
     }
 }

 #
 # OK, kill 'em all...
 #

 gdb_test "kill" "" "kill all one with many checkpoints" \
     "Kill the program being debugged.*y or n. $" "y"

 #
 # Finished: cleanup
 #

 #
 # Now let's try to delete checkpoint 0.
 #

 with_test_prefix "delete checkpoint 0" {
     clean_restart $binfile
     runto_main

     gdb_test "checkpoint" "Checkpoint 1: fork returned pid $decimal\\."
     gdb_test "restart 1" "Switching to .*"
     gdb_test "delete checkpoint 0" "Killed process $decimal"
     gdb_test "info checkpoints" [string_to_regexp "No checkpoints."]
 }
	# Copyright 2005-2024 Free Software Foundation, Inc.

	# This program is free software; you can redistribute it and/or modify
	# it under the terms of the GNU General Public License as published by
	# the Free Software Foundation; either version 3 of the License, or
	# (at your option) any later version.
	#
	# This program is distributed in the hope that it will be useful,
	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	# GNU General Public License for more details.
	#
	# You should have received a copy of the GNU General Public License
	# along with this program. If not, see <http://www.gnu.org/licenses/>. */

	# Until "set follow-fork-mode" and "catch fork" are implemented on
	# other targets...
	#
	require {istarget "--linux*"}

	# Checkpoint support is currently implemented in the Linux native
	# target, so only works with "target native".
	if { [target_info gdb_protocol] != "" } {
	return
	}

	# Must name the source file explicitly, otherwise when driven by
	# checkpoints-ns.exp, we'd try compiling checkpoints-ns.c, which
	# doesn't exist.
	standard_testfile checkpoint.c

	set pi_txt [gdb_remote_download host ${srcdir}/${subdir}/pi.txt]
	if {[is_remote host]} {
	set copy1_txt copy1.txt
	} else {
	set copy1_txt [standard_output_file copy1.txt]
	}

	if {[prepare_for_testing "failed to prepare" $testfile $srcfile \
	[list debug "additional_flags=-DPI_TXT=\"$pi_txt\" -DCOPY1_TXT=\"$copy1_txt\""]]} {
	return -1
	}

	global gdb_prompt

	#
	# This tests gdb checkpoint and restart.
	#

	runto_main
	set break1_loc [gdb_get_line_number "breakpoint 1"]
	set break2_loc [gdb_get_line_number "breakpoint 2"]
	set break3_loc [gdb_get_line_number "breakpoint 3"]
	set break4_loc [gdb_get_line_number "breakpoint 4"]

	gdb_breakpoint $break1_loc
	gdb_test "continue" "breakpoint 1.*" "break1 start"
	gdb_test "checkpoint" "" "checkpoint one"

	gdb_test "continue 10" "breakpoint 1.*" "break1 two"
	gdb_test "checkpoint" "" "checkpoint two"

	gdb_test "continue 10" "breakpoint 1.*" "break1 three"
	gdb_test "checkpoint" "" "checkpoint three"

	gdb_test "continue 10" "breakpoint 1.*" "break1 four"
	gdb_test "checkpoint" "" "checkpoint four"

	gdb_test "continue 10" "breakpoint 1.*" "break1 five"
	gdb_test "checkpoint" "" "checkpoint five"

	gdb_test "continue 10" "breakpoint 1.*" "break1 six"
	gdb_test "checkpoint" "" "checkpoint six"

	gdb_test "continue 10" "breakpoint 1.*" "break1 seven"
	gdb_test "checkpoint" "" "checkpoint seven"

	gdb_test "continue 10" "breakpoint 1.*" "break1 eight"
	gdb_test "checkpoint" "" "checkpoint eight"

	gdb_test "continue 10" "breakpoint 1.*" "break1 nine"
	gdb_test "checkpoint" "" "checkpoint nine"

	gdb_test "continue 10" "breakpoint 1.*" "break1 ten"
	gdb_test "checkpoint" "" "checkpoint ten"

	set info_checkpoints_re ""
	for { set i 0 } { $i <= 10 } { incr i } {
	append info_checkpoints_re " $i .* file .*"
	}
	gdb_test "info checkpoints" $info_checkpoints_re "info checkpoints one"

	delete_breakpoints
	gdb_breakpoint $break2_loc
	gdb_test "continue" "breakpoint 2.*" "break2 one"

	gdb_test "restart 1" "Switching to .breakpoint 1." "restart 1 one"
	gdb_test "print i" " = 78" "verify i 1 one"
	gdb_test "step" "if .c == EOF.*" "step in 1 one"
	gdb_test "print lines" " = 1.*" "verify lines 1 one"

	gdb_test "restart 2" "Switching to .breakpoint 1." "restart 2 one"
	gdb_test "step" "if .c == EOF.*" "step in 2 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 2 one"
	gdb_test "print lines" " = 11.*" "verify lines 2 one"

	gdb_test "restart 3" "Switching to .breakpoint 1." "restart 3 one"
	gdb_test "step" "if .c == EOF.*" "step in 3 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 3 one"
	gdb_test "print lines" " = 21.*" "verify lines 3 one"

	gdb_test "restart 4" "Switching to .breakpoint 1." "restart 4 one"
	gdb_test "step" "if .c == EOF.*" "step in 4 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 4 one"
	gdb_test "print lines" " = 31.*" "verify lines 4 one"

	gdb_test "restart 5" "Switching to .breakpoint 1." "restart 5 one"
	gdb_test "step" "if .c == EOF.*" "step in 5 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 5 one"
	gdb_test "print lines" " = 41.*" "verify lines 5 one"

	gdb_test "restart 6" "Switching to .breakpoint 1." "restart 6 one"
	gdb_test "step" "if .c == EOF.*" "step in 6 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 6 one"
	gdb_test "print lines" " = 51.*" "verify lines 6 one"

	gdb_test "restart 7" "Switching to .breakpoint 1." "restart 7 one"
	gdb_test "step" "if .c == EOF.*" "step in 7 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 7 one"
	gdb_test "print lines" " = 61.*" "verify lines 7 one"

	gdb_test "restart 8" "Switching to .breakpoint 1." "restart 8 one"
	gdb_test "step" "if .c == EOF.*" "step in 8 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 8 one"
	gdb_test "print lines" " = 71.*" "verify lines 8 one"

	gdb_test "restart 9" "Switching to .breakpoint 1." "restart 9 one"
	gdb_test "step" "if .c == EOF.*" "step in 9 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 9 one"
	gdb_test "print lines" " = 81.*" "verify lines 9 one"

	gdb_test "restart 10" "Switching to .breakpoint 1." "restart 10 one"
	gdb_test "step" "if .c == EOF.*" "step in 10 one"
	gdb_test "print i + 1 == lines * 79" " = 1" "verify i 10 one"
	gdb_test "print lines" " = 91.*" "verify lines 10 one"

	#
	# Now let the files be closed by the original process,
	# and diff them.

	gdb_test "restart 0" "Switching to .breakpoint 2." "restart 0 one"
	gdb_breakpoint $break3_loc
	gdb_test "continue" "breakpoint 3.*" "break3 one"

	gdb_test "shell diff -s $pi_txt $copy1_txt" \
	"Files .pi.txt and .copy1.txt are identical.*" \
	"diff input and output one"

	#
	# And now run from various checkpoints, allowing
	# various amounts of input and output.
	#

	gdb_breakpoint $break1_loc

	gdb_test "restart 1" "Switching to .c == EOF." "restart 1 two"
	gdb_test "continue" "" "continue, 1"
	gdb_test "continue 100" "breakpoint 1.*" "breakpoint 1 1 one"
	gdb_test "step" "if .c == EOF.*" "step in 1 two"
	gdb_test "print lines" " = 102.*" "verify lines 1 two"

	gdb_test "restart 2" "Switching to .c == EOF." "restart 2 two"
	gdb_test "continue" "" "continue, 2"
	gdb_test "continue 100" "breakpoint 1.*" "breakpoint 1 2 one"
	gdb_test "step" "if .c == EOF.*" "step in 2 two"
	gdb_test "print lines" " = 112.*" "verify lines 2 two"

	gdb_test "restart 3" "Switching to .c == EOF." "restart 3 two"
	gdb_test "continue" "" "continue, 3"
	gdb_test "continue 500" "breakpoint 1.*" "breakpoint 1 3 one"
	gdb_test "step" "if .c == EOF.*" "step in 3 two"
	gdb_test "print lines" " = 522.*" "verify lines 3 two"

	gdb_test "restart 4" "Switching to .c == EOF." "restart 4 two"
	gdb_test "continue" "" "continue, 4"
	gdb_test "continue 500" "breakpoint 1.*" "breakpoint 1 4 one"
	gdb_test "step" "if .c == EOF.*" "step in 4 two"
	gdb_test "print lines" " = 532.*" "verify lines 4 two"

	gdb_test "restart 5" "Switching to .c == EOF." "restart 5 two"
	gdb_test "continue" "" "continue, 5"
	gdb_test "continue 1000" "breakpoint 1.*" "breakpoint 1 5 one"
	gdb_test "step" "if .c == EOF.*" "step in 5 two"
	gdb_test "print lines" " = 1042.*" "verify lines 5 two"

	gdb_test "restart 6" "Switching to .c == EOF." "restart 6 two"
	gdb_test "continue" "" "continue, 6"
	gdb_test "continue 1000" "breakpoint 1.*" "breakpoint 1 6 one"
	gdb_test "step" "if .c == EOF.*" "step in 6 two"
	gdb_test "print lines" " = 1052.*" "verify lines 6 two"

	gdb_test "restart 7" "Switching to .c == EOF." "restart 7 two"
	gdb_test "continue" "" "continue, 7"
	gdb_test "continue 1100" "breakpoint 1.*" "breakpoint 1 7 one"
	gdb_test "step" "if .c == EOF.*" "step in 7 two"
	gdb_test "print lines" " = 1162.*" "verify lines 7 two"

	gdb_test "shell diff -s $pi_txt $copy1_txt" \
	"Files .pi.txt and .copy1.txt are identical.*" \
	"diff input and output two"

	#
	# OK, now allow the original program to delete the output file,
	# and verify that the checkpoints can still write to it.
	#

	gdb_test "restart 0" "Switching to .breakpoint 3." "restart 0 two"
	gdb_breakpoint $break4_loc
	gdb_test "continue" "breakpoint 4.*" "break4 one"

	gdb_test "shell diff $pi_txt $copy1_txt" \
	"diff: .*copy1.txt: No such file or directory" \
	"delete copy1"

	delete_breakpoints
	gdb_breakpoint $break2_loc

	for {set num 1} {$num <= 10} {incr num} {
	gdb_test "restart $num" "if .c == EOF.*" "restart $num three"
	gdb_test "continue" "breakpoint 2.*" "break2 $num one"
	gdb_test "print (long) ftell (out) > 100000" " = 1.*" "outfile still open $num"
	}

	#
	# Now confirm that if one fork exits, we automatically switch to another one.
	#

	delete_breakpoints
	gdb_test "continue" \
	"Deleting copy.$inferior_exited_re normally.Switching to.*" \
	"exit, dropped into next fork one"

	gdb_test "continue" \
	"Deleting copy.$inferior_exited_re normally.Switching to.*" \
	"exit, dropped into next fork two"

	gdb_test "continue" \
	"Deleting copy.$inferior_exited_re normally.Switching to.*" \
	"exit, dropped into next fork three"

	gdb_test "continue" \
	"Deleting copy.$inferior_exited_re normally.Switching to.*" \
	"exit, dropped into next fork four"

	gdb_test "continue" \
	"Deleting copy.$inferior_exited_re normally.Switching to.*" \
	"exit, dropped into next fork five"

	#
	# There should be still at least five forks left
	#

	gdb_test "info checkpoints" " 1 .* 2 .* 3 .* 4 .* 5 .*" \
	"info checkpoints two"

	#
	# Kill should now terminate all of them.
	#

	gdb_test "kill" "" "kill all one" \
	"Kill the program being debugged.*y or n. $" "y"

	#
	# and confirm that all are gone
	#

	gdb_test "restart 0" "has no checkpoints" "no more checkpoint 0"
	gdb_test "restart 1" "has no checkpoints" "no more checkpoint 1"
	gdb_test "restart 2" "has no checkpoints" "no more checkpoint 2"
	gdb_test "restart 3" "has no checkpoints" "no more checkpoint 3"
	gdb_test "restart 4" "has no checkpoints" "no more checkpoint 4"
	gdb_test "restart 5" "has no checkpoints" "no more checkpoint 5"
	gdb_test "restart 6" "has no checkpoints" "no more checkpoint 6"
	gdb_test "restart 7" "has no checkpoints" "no more checkpoint 7"
	gdb_test "restart 8" "has no checkpoints" "no more checkpoint 8"
	gdb_test "restart 9" "has no checkpoints" "no more checkpoint 9"
	gdb_test "restart 10" "has no checkpoints" "no more checkpoint 10"

	#
	# Now let's try setting a large number of checkpoints (>600)
	#

	clean_restart $binfile

	runto_main
	gdb_breakpoint $break1_loc

	set cmd \
	[join \
	[list \
	"commands" \
	"if (lines % 2)" \
	" checkpoint" \
	"else" \
	" continue" \
	"end" \
	"end"] \
	"\n"]
	gdb_test $cmd \
	"" \
	"set checkpoint breakpoint"

	set nr_ok 0
	for {set iter 0} {$iter < 600} {incr iter} {
	set ok 0
	gdb_test_multiple "continue" "" {
	-re -wrap "breakpoint 1.*" {
	set ok 1
	}
	-re -wrap "" {
	}
	}
	if { $ok } {
	incr nr_ok
	} else {
	break
	}
	}
	gdb_assert { $nr_ok == 600 } "break1 with many checkpoints"

	set count 0
	set msg "info checkpoints with at least 600 checkpoints"
	gdb_test_multiple "info checkpoints" $msg {
	-re "\r\n $decimal n +process \[^\r\]" {
	incr count
	exp_continue
	}
	-re -wrap "" {
	gdb_assert { $count == 600 } $gdb_test_name
	}
	}

	#
	# OK, kill 'em all...
	#

	gdb_test "kill" "" "kill all one with many checkpoints" \
	"Kill the program being debugged.*y or n. $" "y"

	#
	# Finished: cleanup
	#

	#
	# Now let's try to delete checkpoint 0.
	#

	with_test_prefix "delete checkpoint 0" {
	clean_restart $binfile
	runto_main

	gdb_test "checkpoint" "Checkpoint 1: fork returned pid $decimal\\."
	gdb_test "restart 1" "Switching to .*"
	gdb_test "delete checkpoint 0" "Killed process $decimal"
	gdb_test "info checkpoints" [string_to_regexp "No checkpoints."]
	}