Commit | Line | Data |
---|---|---|
618f726f | 1 | # Copyright 2009-2016 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 | # Based on a file written by Fred Fish. (fnf@cygnus.com) | |
17 | # This file is part of the GDB testsuite. It tests precord dumpfile | |
18 | # debugging with watchpoints. | |
19 | ||
20 | # This test suitable only for process record-replay | |
d3895d7d | 21 | if ![supports_process_record] { |
02506ff1 MS |
22 | return |
23 | } | |
24 | ||
7686c074 | 25 | standard_testfile watch-reverse.c |
55baab26 | 26 | set precsave [standard_output_file watch.precsave] |
02506ff1 | 27 | |
5b362f04 | 28 | if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } { |
02506ff1 MS |
29 | return -1 |
30 | } | |
31 | ||
32 | runto main | |
33 | ||
d3895d7d | 34 | if [supports_process_record] { |
02506ff1 | 35 | # Activate process record/replay |
9f058c10 | 36 | gdb_test_no_output "record" "turn on process record" |
02506ff1 MS |
37 | } |
38 | ||
39 | set end_location [gdb_get_line_number "end of main" ] | |
40 | gdb_test "break $end_location" \ | |
a80db015 | 41 | "Breakpoint $decimal at .*$srcfile, line $end_location\." \ |
bb95117e | 42 | "breakpoint at end of main" |
02506ff1 MS |
43 | |
44 | gdb_test "continue" "Breakpoint .* end of main .*" "run to end of main" | |
45 | ||
55baab26 TT |
46 | gdb_test "record save $precsave" \ |
47 | "Saved core file $precsave with execution log\." \ | |
02506ff1 MS |
48 | "save process recfile" |
49 | ||
cdc7edd7 | 50 | gdb_test "kill" "" "kill process, prepare to debug log file" \ |
02506ff1 MS |
51 | "Kill the program being debugged\\? \\(y or n\\) " "y" |
52 | ||
55baab26 | 53 | gdb_test "record restore $precsave" \ |
470e2f4e | 54 | "Restored records from core file .*" \ |
02506ff1 MS |
55 | "reload core file" |
56 | ||
57 | # Only software watchpoints can be used in reverse | |
35ec993f | 58 | gdb_test_no_output "set can-use-hw-watchpoints 0" "" |
02506ff1 MS |
59 | |
60 | gdb_test "break marker1" \ | |
61 | "Breakpoint $decimal at $hex: file .*$srcfile, line $decimal.*" \ | |
62 | "set breakpoint at marker1" | |
63 | ||
64 | gdb_test "break marker2" \ | |
65 | "Breakpoint $decimal at $hex: file .*$srcfile, line $decimal.*" \ | |
66 | "set breakpoint at marker2" | |
67 | ||
a80db015 | 68 | gdb_continue_to_breakpoint "marker1" ".*$srcfile:.*" |
02506ff1 MS |
69 | |
70 | gdb_test "watch ival3" \ | |
71 | ".*\[Ww\]atchpoint $decimal: ival3.*" \ | |
72 | "set watchpoint on ival3" | |
73 | ||
74 | # Continue until first change, from -1 to 0 | |
75 | ||
76 | gdb_test "continue" \ | |
77 | ".*\[Ww\]atchpoint.*ival3.*Old value = -1.*New value = 0.*ival3 = count; ival4 = count;.*" \ | |
78 | "watchpoint hit, first time" | |
79 | ||
80 | # Continue until the next change, from 0 to 1. | |
81 | gdb_test "continue" \ | |
82 | ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = 1.*ival3 = count; ival4 = count;.*" \ | |
83 | "watchpoint hit, second time" | |
84 | ||
85 | # Continue until the next change, from 1 to 2. | |
86 | gdb_test "continue" \ | |
87 | ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 2.*ival3 = count; ival4 = count;.*" \ | |
88 | "watchpoint hit, third time" | |
89 | ||
90 | # Continue until the next change, from 2 to 3. | |
91 | gdb_test "continue" \ | |
92 | ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 3.*ival3 = count; ival4 = count;.*" \ | |
93 | "watchpoint hit, fourth time" | |
94 | ||
95 | # Continue until the next change, from 3 to 4. | |
96 | # Note that this one is outside the loop. | |
97 | ||
98 | gdb_test "continue" \ | |
99 | ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 4.*ival3 = count; ival4 = count;.*" \ | |
100 | "watchpoint hit, fifth time" | |
101 | ||
102 | # Continue until we hit the finishing marker function. | |
103 | # Make sure we hit no more watchpoints. | |
104 | ||
a80db015 | 105 | gdb_continue_to_breakpoint "marker2" ".*$srcfile:.*" |
02506ff1 MS |
106 | |
107 | ### | |
108 | ### | |
109 | ### | |
110 | ||
bcd2dc50 | 111 | gdb_test_no_output "set exec-direction reverse" "set reverse" |
02506ff1 MS |
112 | |
113 | # Reverse until the previous change, from 4 to 3 | |
114 | # Note that this one is outside the loop | |
115 | ||
116 | gdb_test "continue" \ | |
117 | ".*\[Ww\]atchpoint.*ival3.*Old value = 4.*New value = 3.*ival3 = count; ival4 = count;.*" \ | |
118 | "watchpoint hit in reverse, first time" | |
119 | ||
120 | # Reverse until the previous change, from 3 to 2. | |
121 | gdb_test "continue" \ | |
122 | ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 2.*ival3 = count; ival4 = count;.*" \ | |
123 | "watchpoint hit in reverse, second time" | |
124 | ||
125 | # Reverse until the previous change, from 2 to 1. | |
126 | gdb_test "continue" \ | |
127 | ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 1.*ival3 = count; ival4 = count;.*" \ | |
128 | "watchpoint hit in reverse, third time" | |
129 | ||
130 | # Reverse until the previous change, from 1 to 0. | |
131 | gdb_test "continue" \ | |
132 | ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 0.*ival3 = count; ival4 = count;.*" \ | |
133 | "watchpoint hit in reverse, fourth time" | |
134 | ||
135 | # Reverse until first change, from 0 to -1 | |
136 | ||
137 | gdb_test "continue" \ | |
138 | ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = -1.*ival3 = count; ival4 = count;.*" \ | |
139 | "watchpoint hit in reverse, fifth time" | |
930636d2 | 140 | |
89493308 | 141 | gdb_test_no_output "set can-use-hw-watchpoints 1" "enable hw watchpoints" |
930636d2 MS |
142 | |
143 | ### | |
144 | ### | |
145 | ### | |
146 | ||
bcd2dc50 | 147 | gdb_test_no_output "set exec-direction forward" "set forward" |
930636d2 MS |
148 | |
149 | # Continue until first change, from -1 to 0 | |
150 | ||
151 | gdb_test "continue" \ | |
152 | ".*\[Ww\]atchpoint.*ival3.*Old value = -1.*New value = 0.*ival3 = count; ival4 = count;.*" \ | |
153 | "watchpoint hit, forward replay, first time" | |
154 | ||
155 | # Continue until the next change, from 0 to 1. | |
156 | gdb_test "continue" \ | |
157 | ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = 1.*ival3 = count; ival4 = count;.*" \ | |
158 | "watchpoint hit, forward replay, second time" | |
159 | ||
160 | # Continue until the next change, from 1 to 2. | |
161 | gdb_test "continue" \ | |
162 | ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 2.*ival3 = count; ival4 = count;.*" \ | |
163 | "watchpoint hit, forward replay, third time" | |
164 | ||
165 | # Continue until the next change, from 2 to 3. | |
166 | gdb_test "continue" \ | |
167 | ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 3.*ival3 = count; ival4 = count;.*" \ | |
168 | "watchpoint hit, forward replay, fourth time" | |
169 | ||
170 | # Continue until the next change, from 3 to 4. | |
171 | # Note that this one is outside the loop. | |
172 | ||
173 | gdb_test "continue" \ | |
174 | ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 4.*ival3 = count; ival4 = count;.*" \ | |
175 | "watchpoint hit, forward replay, fifth time" | |
176 | ||
177 | # Continue until we hit the finishing marker function. | |
178 | # Make sure we hit no more watchpoints. | |
179 | ||
180 | gdb_test "continue" "marker2 .*" "replay forward to marker2" | |
181 | ||
182 | ### | |
183 | ### | |
184 | ### | |
185 | ||
bcd2dc50 | 186 | gdb_test_no_output "set exec-direction reverse" "set reverse" |
930636d2 MS |
187 | |
188 | # Reverse until the previous change, from 4 to 3 | |
189 | # Note that this one is outside the loop | |
190 | ||
191 | gdb_test "continue" \ | |
192 | ".*\[Ww\]atchpoint.*ival3.*Old value = 4.*New value = 3.*ival3 = count; ival4 = count;.*" \ | |
193 | "watchpoint hit in reverse, HW, first time" | |
194 | ||
195 | # Reverse until the previous change, from 3 to 2. | |
196 | gdb_test "continue" \ | |
197 | ".*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 2.*ival3 = count; ival4 = count;.*" \ | |
198 | "watchpoint hit in reverse, HW, second time" | |
199 | ||
200 | # Reverse until the previous change, from 2 to 1. | |
201 | gdb_test "continue" \ | |
202 | ".*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 1.*ival3 = count; ival4 = count;.*" \ | |
203 | "watchpoint hit in reverse, HW, third time" | |
204 | ||
205 | # Reverse until the previous change, from 1 to 0. | |
206 | gdb_test "continue" \ | |
207 | ".*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 0.*ival3 = count; ival4 = count;.*" \ | |
208 | "watchpoint hit in reverse, HW, fourth time" | |
209 | ||
210 | # Reverse until first change, from 0 to -1 | |
211 | ||
212 | gdb_test "continue" \ | |
213 | ".*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = -1.*ival3 = count; ival4 = count;.*" \ | |
214 | "watchpoint hit in reverse, HW, fifth time" | |
215 |