1 # Copyright 2008-2020 Free Software Foundation, Inc.
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.
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.
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/>.
16 # This file is part of the GDB testsuite.
17 # This test tests the restoration of various kinds of machine state
18 # to their original values with a process record log. We will execute
19 # the program forward while it changes various types of data, and
20 # then execute it backward to see if their values get restored.
22 # The types of machine state (data) that are tested are:
25 # function static variable
26 # module static variable
27 # module global variable
30 # various, possibly including...
31 # .bss variable, .data variable, ...
32 # shared library variable
33 # heap variable (pointer)...
34 # overlay variables...
38 # This test suitable only for process record-replay
39 if ![supports_process_record] {
43 standard_testfile machinestate.c ms1.c
44 set precsave [standard_output_file machinestate.precsave]
46 if { [prepare_for_testing "failed to prepare" $testfile \
47 [list $srcfile $srcfile2]] } {
51 set newline "\[\r\n\]+"
53 set beginmain [gdb_get_line_number " begin main " $srcfile]
54 set endmain [gdb_get_line_number " end main " $srcfile]
60 if [supports_process_record] {
61 # Activate process record/replay
62 gdb_test_no_output "record" "turn on process record"
65 gdb_test "break $endmain" \
66 "Breakpoint $decimal at .*$srcfile, line $endmain\." \
67 "breakpoint at end of main"
69 gdb_test "continue" "Breakpoint .* end main .*" "run to end of main"
71 gdb_test "record save $precsave" \
72 "Saved core file $precsave with execution log\." \
73 "save process recfile"
75 gdb_test "kill" "" "kill process, prepare to debug log file" \
76 "Kill the program being debugged\\? \\(y or n\\) " "y"
78 gdb_test "record restore $precsave" \
79 "Restored records from core file .*" \
80 "reload prec save file"
82 # Proceed to end of main
84 gdb_test "break $endmain" \
85 "Breakpoint.* file .*$srcfile, line $endmain.*" ""
87 gdb_test_multiple "continue" "go to end of main forward" {
88 -re ".*Breakpoint $decimal,.*$srcfile:$endmain.*$gdb_prompt $" {
89 pass "go to end of main forward"
91 -re "No more reverse-execution history.* end main .*$gdb_prompt $" {
92 pass "go to end of main forward"
100 # Now run backward to each of several points where data is changed.
103 # Module global variable, reverse
105 set breakloc [gdb_get_line_number \
106 "module_global_state: set breakpoint here" $srcfile]
108 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
109 gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
111 gdb_test "print aglobal" ".* = 0$newline" "module global reverse-breakpoint"
112 gdb_test "step" ".* module global post-change .*" ""
113 gdb_test "print aglobal" ".* = 1$newline" "module global forward past bp"
114 gdb_test "reverse-step" ".*$newline$breakloc.*" ""
115 gdb_test "print aglobal" ".* = 0$newline" "module global reverse-step to bp"
118 # Module static variable, reverse
120 set breakloc [gdb_get_line_number \
121 "module_static_state: set breakpoint here" $srcfile]
123 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
124 gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
126 gdb_test "print astatic" ".* = 0$newline" "module static reverse-breakpoint"
127 gdb_test "step" ".* module static post-change .*" ""
128 gdb_test "print astatic" ".* = 1$newline" "module static forward"
129 gdb_test "reverse-step" ".*$newline$breakloc.*" ""
130 gdb_test "print astatic" ".* = 0$newline" "module static reverse-step"
132 # Function static variable, reverse
134 set breakloc [gdb_get_line_number \
135 "function_static_state: set breakpoint here" $srcfile]
137 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
138 gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
140 gdb_test "print a" ".* = 0$newline" "function static reverse-breakpoint"
141 gdb_test "step" ".* function static post-change .*" ""
142 gdb_test "print a" ".* = 1$newline" "function static forward"
143 gdb_test "reverse-step" ".*$newline$breakloc.*" ""
144 gdb_test "print a" ".* = 0$newline" "function static reverse-step"
146 # Auto variable, reverse
148 set breakloc [gdb_get_line_number \
149 "auto_state: set breakpoint here" $srcfile]
151 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
152 gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
154 gdb_test "print a" ".* = 0$newline" "auto var reverse-breakpoint"
155 gdb_test "step" ".* auto post-change .*" ""
156 gdb_test "print a" ".* = 1$newline" "auto var forward"
157 gdb_test "reverse-step" ".*$newline$breakloc.*" ""
158 gdb_test "print a" ".* = 0$newline" "auto var reverse-step"
160 # Register variable, reverse
162 set breakloc [gdb_get_line_number \
163 "register_state: set breakpoint here" $srcfile]
165 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
166 gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc"
168 gdb_test "print a" ".* = 0$newline" "register var reverse-breakpoint"
169 gdb_test "step" ".* register post-change .*" ""
170 gdb_test "print a" ".* = 1$newline" \
171 "register var step post-change, first time"
172 gdb_test "reverse-step" ".*$newline$breakloc.*" ""
173 gdb_test "print a" ".* = 0$newline" "register var reverse step-to"
175 # Proceed to beginning of main
177 gdb_test "tbreak $beginmain" ".*$srcfile, line $beginmain.*" ""
178 gdb_test "reverse-continue" ".*$srcfile:$beginmain.*" "reverse to main"
180 # Now repeat tests while replaying forward.
182 # Register variable, forward
184 set breakloc [gdb_get_line_number \
185 "register_state: set breakpoint here" $srcfile]
187 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
188 gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
190 gdb_test "print a" ".* = 0$newline" "register var forward-breakpoint"
191 gdb_test "reverse-step" ".*hide.*" ""
192 gdb_test "step" ".*$newline$breakloc.*" ""
193 gdb_test "print a" ".* = 0$newline" "register var forward step-to"
194 gdb_test "step" ".* register post-change .*" ""
195 gdb_test "print a" ".* = 1$newline" \
196 "register var step post-change, second time"
198 # Auto variable, forward
200 set breakloc [gdb_get_line_number \
201 "auto_state: set breakpoint here" $srcfile]
203 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
204 gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
206 gdb_test "print a" ".* = 0$newline" "auto var forward-breakpoint"
207 gdb_test "reverse-step" ".*hide.*" ""
208 gdb_test "step" ".*$newline$breakloc.*" ""
209 gdb_test "print a" ".* = 0$newline" "auto var forward step-to"
210 gdb_test "step" ".* auto post-change .*" ""
211 gdb_test "print a" ".* = 1$newline" "auto var step post-change"
213 # Function static variable, forward
215 set breakloc [gdb_get_line_number \
216 "function_static_state: set breakpoint here" $srcfile]
218 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
219 gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
221 gdb_test "print a" ".* = 0$newline" "function static forward-breakpoint"
222 gdb_test "reverse-step" ".*hide.*" ""
223 gdb_test "step" ".*$newline$breakloc.*" ""
224 gdb_test "print a" ".* = 0$newline" "function static forward step-to"
225 gdb_test "step" ".* function static post-change .*" ""
226 gdb_test "print a" ".* = 1$newline" "function static step post-change"
228 # Module static variable, forward
230 set breakloc [gdb_get_line_number \
231 "module_static_state: set breakpoint here" $srcfile]
233 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
234 gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
236 gdb_test "print astatic" ".* = 0$newline" "module static forward-breakpoint"
237 gdb_test "reverse-step" ".*hide.*" ""
238 gdb_test "step" ".*$newline$breakloc.*" ""
239 gdb_test "print astatic" ".* = 0$newline" "module static forward step-to"
240 gdb_test "step" ".* module static post-change .*" ""
241 gdb_test "print astatic" ".* = 1$newline" "module static step post-change"
243 # Module global variable, forward
245 set breakloc [gdb_get_line_number \
246 "module_global_state: set breakpoint here" $srcfile]
248 gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" ""
249 gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc"
251 gdb_test "print aglobal" ".* = 0$newline" "module global forward-breakpoint"
252 gdb_test "reverse-step" ".*hide.*" ""
253 gdb_test "step" ".*$newline$breakloc.*" ""
254 gdb_test "print aglobal" ".* = 0$newline" "module global forward step-to"
255 gdb_test "step" ".* module global post-change .*" ""
256 gdb_test "print aglobal" ".* = 1$newline" "module global step post-change"