1# Copyright 2008-2020 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# This file is part of the GDB testsuite. It tests 'until' and 17# 'advance' in reverse debugging. 18 19if ![supports_reverse] { 20 return 21} 22 23standard_testfile .c ur1.c 24 25if { [prepare_for_testing "failed to prepare" $testfile \ 26 [list $srcfile $srcfile2]] } { 27 return -1 28} 29 30set bp_location1 [gdb_get_line_number "set breakpoint 1 here"] 31set bp_location7 [gdb_get_line_number "set breakpoint 7 here"] 32set bp_location8 [gdb_get_line_number "set breakpoint 8 here" "$srcfile2"] 33set bp_location19 [gdb_get_line_number "set breakpoint 19 here"] 34set bp_location20 [gdb_get_line_number "set breakpoint 20 here"] 35set bp_location21 [gdb_get_line_number "set breakpoint 21 here"] 36 37runto main 38 39if [supports_process_record] { 40 # Activate process record/replay 41 gdb_test_no_output "record" "turn on process record" 42} 43 44# Verify that plain vanilla "until <location>" works. 45# 46gdb_test "until $bp_location1" \ 47 "main .* at .*:$bp_location1.*" \ 48 "until line number" 49 50# Advance up to factorial, outer invocation 51# 52gdb_test_multiple "advance factorial" "" { 53 -wrap -re "factorial .value=6..*$srcfile:$bp_location7.*" { 54 pass $gdb_test_name 55 } 56 -wrap -re "Process record does not support instruction 0xfae64 at.*" { 57 kfail "gdb/25038" $gdb_test_name 58 return -1 59 } 60} 61 62# At this point, 'until' should continue the inferior up to when all the 63# inner invocations of factorial() are completed and we are back at this 64# frame. 65# 66gdb_test "until $bp_location19" \ 67 "factorial .value=720.*${srcfile}:$bp_location19.*" \ 68 "until factorial, recursive function" 69 70# Finish out to main scope 71# 72gdb_test "finish" \ 73 "main .*$srcfile:.*" \ 74 "finish to main" 75 76# Advance to a function called by main (marker2) 77# 78gdb_test "advance marker2" \ 79 "marker2 .a=43.*$srcfile2:$bp_location8.*" \ 80 "advance to marker2" 81 82# Now issue an until with another function, not called by the current 83# frame, as argument. This should not work, i.e. the program should 84# stop at main, the caller, where we put the 'guard' breakpoint. 85# 86set test_msg "until func, not called by current frame" 87gdb_test_multiple "until marker3" "$test_msg" { 88 -re "main .*at .*${srcfile}:$bp_location20.*$gdb_prompt $" { 89 pass "$test_msg" 90 } 91 -re "main .*at .*${srcfile}:$bp_location21.*$gdb_prompt $" { 92 pass "$test_msg" 93 } 94} 95 96### 97### 98### 99 100# Set reverse execution direction 101 102gdb_test_no_output "set exec-dir reverse" "set reverse execution" 103 104# 105# We should now be at main, after the return from marker2. 106# "Advance" backward into marker2. 107# 108 109gdb_test "advance marker2" \ 110 "marker2 .a=43.*$srcfile2:$bp_location8.*" \ 111 "reverse-advance to marker2" 112 113# Finish out to main scope (backward) 114 115gdb_test "finish" \ 116 " in main .*$srcfile:$bp_location20.*" \ 117 "reverse-finish from marker2" 118 119# Advance backward to last line of factorial (outer invocation) 120 121gdb_test "advance $bp_location19" \ 122 "factorial .value=720.*${srcfile}:$bp_location19.*" \ 123 "reverse-advance to final return of factorial" 124 125# Now do "until" across the recursive calls, 126# ending up in the same frame where we are now. 127 128gdb_test "until $bp_location7" \ 129 "factorial .value=6..*$srcfile:$bp_location7.*" \ 130 "reverse-until to entry of factorial" 131