Commit | Line | Data |
---|---|---|
4c38e0a4 | 1 | # Copyright 2008, 2009, 2010 Free Software Foundation, Inc. |
02506ff1 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. It tests reverse stepping. | |
17 | # Lots of code borrowed from "step-test.exp". | |
18 | ||
19 | # | |
20 | # Test step and next with a reloaded process record file. | |
21 | # | |
22 | ||
23 | # This test suitable only for process record-replay | |
24 | if ![target_info exists gdb,use_precord] { | |
25 | return | |
26 | } | |
27 | ||
28 | set testfile "step-reverse" | |
29 | set srcfile ${testfile}.c | |
30 | ||
31 | if { [prepare_for_testing $testfile.exp $testfile $srcfile] } { | |
32 | return -1 | |
33 | } | |
34 | ||
35 | runto main | |
36 | ||
37 | if [target_info exists gdb,use_precord] { | |
38 | # Activate process record/replay | |
39 | gdb_test "record" "" "Turn on process record" | |
40 | # FIXME: command ought to acknowledge, so we can test if it succeeded. | |
41 | } | |
42 | ||
43 | set end_of_main [gdb_get_line_number "end of main" ] | |
44 | gdb_test "break $end_of_main" \ | |
45 | "Breakpoint $decimal at .*/$srcfile, line $end_of_main\." \ | |
46 | "BP at end of main" | |
47 | ||
48 | gdb_test "continue" "Breakpoint .* end of main .*" "run to end of main" | |
49 | ||
50 | gdb_test "record save step.precsave" \ | |
51 | "Saved core file step.precsave with execution log\." \ | |
52 | "save process recfile" | |
53 | ||
54 | gdb_test "kill" "" "Kill process, prepare to debug log file" \ | |
55 | "Kill the program being debugged\\? \\(y or n\\) " "y" | |
56 | ||
57 | gdb_test "record restore step.precsave" \ | |
58 | "Program terminated with signal .*" \ | |
59 | "reload core file" | |
60 | ||
61 | # plain vanilla step/next (no count) | |
62 | ||
63 | gdb_test "next" ".*NEXT TEST 1.*" "next test 1" | |
64 | gdb_test "step" ".*STEP TEST 1.*" "step test 1" | |
65 | ||
66 | # step/next with count | |
67 | ||
68 | gdb_test "next 2" ".*NEXT TEST 2.*" "next test 2" | |
69 | gdb_test "step 3" ".*STEP TEST 2.*" "step test 2" | |
70 | ||
71 | # step over call | |
72 | ||
73 | gdb_test "step" ".*NEXT OVER THIS CALL.*" "step up to call" | |
74 | gdb_test "next" ".*STEP INTO THIS CALL.*" "next over call" | |
75 | ||
76 | # step into call | |
77 | ||
78 | gdb_test "step" ".*ARRIVED IN CALLEE.*" "step into call" | |
79 | ||
80 | # finish out of call | |
81 | ||
82 | set test_message "finish out of fn call" | |
83 | gdb_test_multiple "finish" "$test_message" { | |
84 | -re "FINISH TEST.*$gdb_prompt $" { | |
85 | pass "$test_message" | |
86 | } | |
87 | -re "STEP INTO THIS CALL.*$gdb_prompt $" { | |
88 | send_gdb "step\n" | |
89 | exp_continue | |
90 | } | |
91 | } | |
92 | ||
93 | # stepi over flat code (no calls) | |
94 | ||
95 | set test_message "simple stepi" | |
96 | gdb_test_multiple "stepi" "$test_message" { | |
97 | -re "STEPI TEST.*$gdb_prompt $" { | |
98 | pass "$test_message" | |
99 | } | |
100 | -re "FINISH TEST.*$gdb_prompt $" { | |
101 | send_gdb "stepi\n" | |
102 | exp_continue | |
103 | } | |
104 | -re "NEXTI TEST.*$gdb_prompt $" { | |
105 | fail "$test_message (too far)" | |
106 | } | |
107 | } | |
108 | ||
109 | # stepi into a function call | |
110 | ||
111 | set test_message "stepi into function call" | |
112 | gdb_test_multiple "stepi" "$test_message" { | |
113 | -re "ARRIVED IN CALLEE.*$gdb_prompt $" { | |
114 | pass "$test_message" | |
115 | } | |
116 | -re "NEXTI TEST.*$gdb_prompt $" { | |
117 | fail "$test_message (too far)" | |
118 | } | |
119 | -re "RETURN FROM CALLEE.*$gdb_prompt $" { | |
120 | fail "$test_message (too far)" | |
121 | } | |
122 | -re "ENTER CALLEE.*$gdb_prompt $" { | |
123 | send_gdb "stepi\n" | |
124 | exp_continue | |
125 | } | |
126 | -re "STEPI TEST.*$gdb_prompt $" { | |
127 | send_gdb "stepi\n" | |
128 | exp_continue | |
129 | } | |
130 | } | |
131 | ||
132 | # stepi thru return of a function call | |
133 | ||
134 | set test_message "stepi back from function call" | |
135 | gdb_test_multiple "stepi" "$test_message" { | |
136 | -re "NEXTI TEST.*$gdb_prompt $" { | |
137 | pass "$test_message" | |
138 | } | |
139 | -re "ARRIVED IN CALLEE.*$gdb_prompt $" { | |
140 | send_gdb "stepi\n" | |
141 | exp_continue | |
142 | } | |
143 | -re "RETURN FROM CALLEE.*$gdb_prompt $" { | |
144 | send_gdb "stepi\n" | |
145 | exp_continue | |
146 | } | |
147 | -re "STEPI TEST.*$gdb_prompt $" { | |
148 | send_gdb "stepi\n" | |
149 | exp_continue | |
150 | } | |
151 | -re "ENTER CALLEE.*$gdb_prompt $" { | |
152 | fail "$test_message (too far)" | |
153 | } | |
154 | } | |
155 | ||
156 | ### | |
157 | ### | |
158 | ### | |
159 | ||
160 | # Set reverse execution direction | |
161 | # FIXME: command needs to acknowledge, so we can test if it succeeded. | |
162 | ||
163 | gdb_test "set exec-dir reverse" "" "set reverse execution" | |
164 | ||
165 | # stepi backward thru return and into a function | |
166 | ||
167 | set stepi_location [gdb_get_line_number "ARRIVED IN CALLEE" "$srcfile"] | |
168 | set test_message "reverse stepi thru function return" | |
169 | gdb_test_multiple "stepi" "$test_message" { | |
170 | -re "NEXTI TEST.*$gdb_prompt $" { | |
171 | fail "$test_message (start statement)" | |
172 | } | |
173 | -re "RETURN FROM CALLEE.*$gdb_prompt $" { | |
174 | send_gdb "stepi\n" | |
175 | exp_continue | |
176 | } | |
177 | -re "$hex\[ \t\]*$stepi_location.*ARRIVED IN CALLEE.*$gdb_prompt $" { | |
178 | send_gdb "stepi\n" | |
179 | exp_continue | |
180 | } | |
181 | -re "ARRIVED IN CALLEE.*$gdb_prompt $" { | |
182 | pass "$test_message" | |
183 | } | |
184 | -re "ENTER CALLEE.*$gdb_prompt $" { | |
185 | fail "$test_message (too far)" | |
186 | } | |
187 | -re "STEPI TEST.*$gdb_prompt $" { | |
188 | fail "$test_message (too far)" | |
189 | } | |
190 | } | |
191 | ||
192 | # stepi backward out of a function call | |
193 | ||
194 | set stepi_location [gdb_get_line_number "STEPI TEST" "$srcfile"] | |
195 | set test_message "reverse stepi from a function call" | |
196 | gdb_test_multiple "stepi" "$test_message" { | |
197 | -re "ARRIVED IN CALLEE.*$gdb_prompt $" { | |
198 | fail "$test_message (start statement)" | |
199 | } | |
200 | -re "ENTER CALLEE.*$gdb_prompt $" { | |
201 | send_gdb "stepi\n" | |
202 | exp_continue | |
203 | } | |
204 | -re "${hex} in main .*:$stepi_location.*STEPI TEST.*$gdb_prompt $" { | |
205 | send_gdb "stepi\n" | |
206 | exp_continue | |
207 | } | |
208 | -re "STEPI TEST.*$gdb_prompt $" { | |
209 | pass "$test_message" | |
210 | } | |
211 | -re "STEP INTO THIS CALL.*$gdb_prompt $" { | |
212 | fail "$test_message (too far)" | |
213 | } | |
214 | } | |
215 | ||
216 | # stepi backward over flat code (no calls) | |
217 | ||
218 | set stepi_location [gdb_get_line_number "FINISH TEST" "$srcfile"] | |
219 | set test_message "simple reverse stepi" | |
220 | gdb_test_multiple "stepi" "$test_message" { | |
221 | -re "STEPI TEST.*$gdb_prompt $" { | |
222 | fail "$test_message (start statement)" | |
223 | } | |
224 | -re "$hex\[ \t\]*$stepi_location.* FINISH TEST.*$gdb_prompt $" { | |
225 | send_gdb "stepi\n" | |
226 | exp_continue | |
227 | } | |
228 | -re "$stepi_location.* FINISH TEST.*$gdb_prompt $" { | |
229 | pass "$test_message" | |
230 | } | |
231 | -re "STEP INTO THIS CALL.*$gdb_prompt $" { | |
232 | fail "$test_message (too far)" | |
233 | } | |
234 | } | |
235 | ||
236 | # step backward into function (thru return) | |
237 | ||
238 | set test_message "reverse step into fn call" | |
239 | gdb_test_multiple "step" "$test_message" { | |
240 | -re "RETURN FROM CALLEE.*$gdb_prompt $" { | |
241 | send_gdb "step\n" | |
242 | exp_continue | |
243 | } | |
244 | -re "ARRIVED IN CALLEE.*$gdb_prompt $" { | |
245 | pass "$test_message" | |
246 | } | |
247 | } | |
248 | ||
249 | # step backward out of called function (thru call) | |
250 | ||
251 | gdb_test "step" ".*STEP INTO THIS CALL.*" "reverse step out of called fn" | |
252 | ||
253 | # next backward over call | |
254 | ||
255 | gdb_test "next" ".*NEXT OVER THIS CALL.*" "reverse next over call" | |
256 | ||
257 | # step/next backward with count | |
258 | ||
259 | gdb_test "step 3" ".*REVERSE STEP TEST 1.*" "reverse step test 1" | |
260 | gdb_test "next 2" ".*REVERSE NEXT TEST 1.*" "reverse next test 1" | |
261 | ||
262 | # step/next backward without count | |
263 | ||
264 | gdb_test "step" ".*STEP TEST 1.*" "reverse step test 2" | |
265 | gdb_test "next" ".*NEXT TEST 1.*" "reverse next test 2" | |
266 | ||
267 | ||
268 | ||
269 | # Finish test by running forward to the end. | |
270 | # FIXME return to this later... | |
271 | # gdb_test "set exec-dir forward" "" "set forward execution" | |
272 | # gdb_continue_to_end "step-reverse.exp" | |
273 |