Commit | Line | Data |
---|---|---|
42a4f53d | 1 | # Copyright 2008-2019 Free Software Foundation, Inc. |
28d41a99 MS |
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. | |
17 | # This test tests the restoration of various kinds of machine state | |
18 | # to their original values by reverse execution. 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. | |
21 | # | |
22 | # The types of machine state (data) that are tested are: | |
23 | # register variable | |
24 | # auto variable | |
25 | # function static variable | |
26 | # module static variable | |
27 | # module global variable | |
28 | # | |
29 | # TODO: | |
30 | # various, possibly including... | |
31 | # .bss variable, .data variable, ... | |
32 | # shared library variable | |
33 | # heap variable (pointer)... | |
34 | # overlay variables... | |
35 | # Test forward replay | |
36 | # | |
37 | ||
d3895d7d | 38 | if ![supports_reverse] { |
28d41a99 MS |
39 | return |
40 | } | |
41 | ||
7686c074 | 42 | standard_testfile .c ms1.c |
28d41a99 | 43 | |
5b362f04 | 44 | if { [prepare_for_testing "failed to prepare" $testfile \ |
7686c074 | 45 | [list $srcfile $srcfile2]] } { |
28d41a99 MS |
46 | return -1 |
47 | } | |
48 | ||
49 | set newline "\[\r\n\]+" | |
50 | ||
51 | set beginmain [gdb_get_line_number " begin main " $srcfile] | |
52 | set endmain [gdb_get_line_number " end main " $srcfile] | |
53 | ||
54 | # Test begins | |
55 | ||
56 | runto main | |
57 | ||
d3895d7d | 58 | if [supports_process_record] { |
28d41a99 | 59 | # Activate process record/replay |
9f058c10 | 60 | gdb_test_no_output "record" "turn on process record" |
28d41a99 MS |
61 | } |
62 | ||
63 | # Proceed to end of main | |
64 | ||
65 | gdb_test "break $endmain" \ | |
a80db015 LM |
66 | "Breakpoint.* file .*$srcfile, line $endmain.*" "" |
67 | gdb_continue_to_breakpoint "end of main" ".*$srcfile:$endmain.*" | |
28d41a99 MS |
68 | |
69 | ### | |
70 | ### | |
71 | ### | |
72 | ||
73 | # Now run backward to each of several points where data is changed. | |
74 | # | |
75 | ||
76 | # Module global variable, reverse | |
77 | ||
78 | set breakloc [gdb_get_line_number \ | |
79 | "module_global_state: set breakpoint here" $srcfile] | |
80 | ||
a80db015 LM |
81 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
82 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
28d41a99 MS |
83 | |
84 | gdb_test "print aglobal" ".* = 0$newline" "module global reverse-breakpoint" | |
85 | gdb_test "step" ".* module global post-change .*" "" | |
86 | gdb_test "print aglobal" ".* = 1$newline" "module global forward past bp" | |
87 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
88 | gdb_test "print aglobal" ".* = 0$newline" "module global reverse-step to bp" | |
89 | ||
90 | ||
91 | # Module static variable, reverse | |
92 | ||
93 | set breakloc [gdb_get_line_number \ | |
94 | "module_static_state: set breakpoint here" $srcfile] | |
95 | ||
a80db015 LM |
96 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
97 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
28d41a99 MS |
98 | |
99 | gdb_test "print astatic" ".* = 0$newline" "module static reverse-breakpoint" | |
100 | gdb_test "step" ".* module static post-change .*" "" | |
101 | gdb_test "print astatic" ".* = 1$newline" "module static forward" | |
102 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
103 | gdb_test "print astatic" ".* = 0$newline" "module static reverse-step" | |
104 | ||
105 | # Function static variable, reverse | |
106 | ||
107 | set breakloc [gdb_get_line_number \ | |
108 | "function_static_state: set breakpoint here" $srcfile] | |
109 | ||
a80db015 LM |
110 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
111 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
28d41a99 MS |
112 | |
113 | gdb_test "print a" ".* = 0$newline" "function static reverse-breakpoint" | |
114 | gdb_test "step" ".* function static post-change .*" "" | |
115 | gdb_test "print a" ".* = 1$newline" "function static forward" | |
116 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
117 | gdb_test "print a" ".* = 0$newline" "function static reverse-step" | |
118 | ||
119 | # Auto variable, reverse | |
120 | ||
121 | set breakloc [gdb_get_line_number \ | |
122 | "auto_state: set breakpoint here" $srcfile] | |
123 | ||
a80db015 LM |
124 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
125 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
28d41a99 MS |
126 | |
127 | gdb_test "print a" ".* = 0$newline" "auto var reverse-breakpoint" | |
128 | gdb_test "step" ".* auto post-change .*" "" | |
129 | gdb_test "print a" ".* = 1$newline" "auto var forward" | |
130 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
131 | gdb_test "print a" ".* = 0$newline" "auto var reverse-step" | |
132 | ||
133 | # Register variable, reverse | |
134 | ||
135 | set breakloc [gdb_get_line_number \ | |
136 | "register_state: set breakpoint here" $srcfile] | |
137 | ||
a80db015 LM |
138 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
139 | gdb_test "reverse-continue" ".*$srcfile:$breakloc.*" "reverse to $breakloc" | |
28d41a99 MS |
140 | |
141 | gdb_test "print a" ".* = 0$newline" "register var reverse-breakpoint" | |
142 | gdb_test "step" ".* register post-change .*" "" | |
143 | gdb_test "print a" ".* = 1$newline" "register var step post-change" | |
144 | gdb_test "reverse-step" ".*$newline$breakloc.*" "" | |
4d421147 AB |
145 | gdb_test "print a" ".* = 0$newline" \ |
146 | "register var reverse step-to, first time" | |
28d41a99 MS |
147 | |
148 | # Proceed to beginning of main | |
149 | ||
a80db015 LM |
150 | gdb_test "tbreak $beginmain" ".*$srcfile, line $beginmain.*" "" |
151 | gdb_test "reverse-continue" ".*$srcfile:$beginmain.*" "reverse to main" | |
28d41a99 MS |
152 | |
153 | # Now repeat tests while replaying forward. | |
154 | ||
155 | # Register variable, forward | |
156 | ||
157 | set breakloc [gdb_get_line_number \ | |
158 | "register_state: set breakpoint here" $srcfile] | |
159 | ||
a80db015 LM |
160 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
161 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
28d41a99 MS |
162 | |
163 | gdb_test "print a" ".* = 0$newline" "register var forward-breakpoint" | |
164 | gdb_test "reverse-step" ".*hide.*" "" | |
165 | gdb_test "step" ".*$newline$breakloc.*" "" | |
166 | gdb_test "print a" ".* = 0$newline" "register var forward step-to" | |
167 | gdb_test "step" ".* register post-change .*" "" | |
4d421147 AB |
168 | gdb_test "print a" ".* = 1$newline" \ |
169 | "register var step post-change, second time" | |
28d41a99 MS |
170 | |
171 | # Auto variable, forward | |
172 | ||
173 | set breakloc [gdb_get_line_number \ | |
174 | "auto_state: set breakpoint here" $srcfile] | |
175 | ||
a80db015 LM |
176 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
177 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
28d41a99 MS |
178 | |
179 | gdb_test "print a" ".* = 0$newline" "auto var forward-breakpoint" | |
180 | gdb_test "reverse-step" ".*hide.*" "" | |
181 | gdb_test "step" ".*$newline$breakloc.*" "" | |
182 | gdb_test "print a" ".* = 0$newline" "auto var forward step-to" | |
183 | gdb_test "step" ".* auto post-change .*" "" | |
184 | gdb_test "print a" ".* = 1$newline" "auto var step post-change" | |
185 | ||
186 | # Function static variable, forward | |
187 | ||
188 | set breakloc [gdb_get_line_number \ | |
189 | "function_static_state: set breakpoint here" $srcfile] | |
190 | ||
a80db015 LM |
191 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
192 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
28d41a99 MS |
193 | |
194 | gdb_test "print a" ".* = 0$newline" "function static forward-breakpoint" | |
195 | gdb_test "reverse-step" ".*hide.*" "" | |
196 | gdb_test "step" ".*$newline$breakloc.*" "" | |
197 | gdb_test "print a" ".* = 0$newline" "function static forward step-to" | |
198 | gdb_test "step" ".* function static post-change .*" "" | |
199 | gdb_test "print a" ".* = 1$newline" "function static step post-change" | |
200 | ||
201 | # Module static variable, forward | |
202 | ||
203 | set breakloc [gdb_get_line_number \ | |
204 | "module_static_state: set breakpoint here" $srcfile] | |
205 | ||
a80db015 LM |
206 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
207 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
28d41a99 MS |
208 | |
209 | gdb_test "print astatic" ".* = 0$newline" "module static forward-breakpoint" | |
210 | gdb_test "reverse-step" ".*hide.*" "" | |
211 | gdb_test "step" ".*$newline$breakloc.*" "" | |
212 | gdb_test "print astatic" ".* = 0$newline" "module static forward step-to" | |
213 | gdb_test "step" ".* module static post-change .*" "" | |
214 | gdb_test "print astatic" ".* = 1$newline" "module static step post-change" | |
215 | ||
216 | # Module global variable, forward | |
217 | ||
218 | set breakloc [gdb_get_line_number \ | |
219 | "module_global_state: set breakpoint here" $srcfile] | |
220 | ||
a80db015 LM |
221 | gdb_test "tbreak $breakloc" ".*$srcfile, line $breakloc.*" "" |
222 | gdb_test "continue" ".*$srcfile:$breakloc.*" "forward to $breakloc" | |
28d41a99 MS |
223 | |
224 | gdb_test "print aglobal" ".* = 0$newline" "module global forward-breakpoint" | |
225 | gdb_test "reverse-step" ".*hide.*" "" | |
226 | gdb_test "step" ".*$newline$breakloc.*" "" | |
227 | gdb_test "print aglobal" ".* = 0$newline" "module global forward step-to" | |
228 | gdb_test "step" ".* module global post-change .*" "" | |
229 | gdb_test "print aglobal" ".* = 1$newline" "module global step post-change" | |
230 |