Commit | Line | Data |
---|---|---|
b811d2c2 | 1 | # Copyright 2018-2020 Free Software Foundation, Inc. |
ae451627 AB |
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 | # Test essential Machine interface (MI) operations | |
17 | # | |
18 | # Verify that -var-update will provide the correct values for floating | |
19 | # and fixed varobjs that represent the pc register. | |
20 | # | |
21 | ||
22 | load_lib mi-support.exp | |
23 | set MIFLAGS "-i=mi" | |
24 | ||
25 | standard_testfile basics.c | |
26 | ||
27 | if {[gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" \ | |
28 | executable {debug}] != "" } then { | |
29 | untested mi-frame-regs.exp | |
30 | return -1 | |
31 | } | |
32 | ||
33 | # Return the address of the specified breakpoint. | |
34 | ||
35 | proc breakpoint_address {bpnum} { | |
36 | global hex | |
37 | global expect_out | |
38 | global mi_gdb_prompt | |
39 | ||
40 | send_gdb "info breakpoint $bpnum\n" | |
41 | gdb_expect { | |
42 | -re ".*($hex).*$mi_gdb_prompt$" { | |
43 | return $expect_out(1,string) | |
44 | } | |
45 | -re ".*$mi_gdb_prompt$" { | |
46 | unresolved "get address of breakpoint $bpnum" | |
47 | return "" | |
48 | } | |
49 | timeout { | |
50 | unresolved "get address of breakpoint $bpnum (timeout)" | |
51 | return "" | |
52 | } | |
53 | } | |
54 | } | |
55 | ||
56 | # Test that a floating varobj representing $pc will provide the | |
57 | # correct value via -var-update as the program stops at | |
58 | # breakpoints in different functions. | |
59 | ||
60 | proc_with_prefix do_floating_varobj_test {} { | |
61 | global srcfile | |
62 | global hex | |
63 | global expect_out | |
64 | ||
65 | gdb_exit | |
66 | if {[mi_gdb_start]} then { | |
67 | fail "couldn't start gdb" | |
68 | return | |
69 | } | |
70 | ||
71 | mi_run_to_main | |
72 | ||
73 | # Create a floating varobj for $pc. | |
74 | mi_gdb_test "-var-create --thread 1 --frame 0 - @ \$pc" \ | |
75 | "\\^done,.*value=\"$hex.*" \ | |
76 | "create varobj for pc in frame 0" | |
77 | ||
78 | set nframes 4 | |
79 | for {set i 1} {$i < $nframes} {incr i} { | |
80 | ||
81 | # Run to a breakpoint in each callee function in succession. | |
82 | # Note that we can't use mi_runto because we need the | |
83 | # breakpoint to be persistent, so we can use its address. | |
84 | set bpnum [expr $i + 1] | |
85 | mi_create_breakpoint \ | |
86 | "basics.c:callee$i" \ | |
87 | "insert breakpoint at basics.c:callee$i" \ | |
88 | -number $bpnum -func callee$i -file ".*basics.c" | |
89 | ||
90 | mi_execute_to "exec-continue" "breakpoint-hit" \ | |
91 | "callee$i" ".*" ".*${srcfile}" ".*" \ | |
92 | { "" "disp=\"keep\"" } "breakpoint hit in callee$i" | |
93 | ||
94 | # Get the value of $pc from the floating varobj. | |
95 | mi_gdb_test "-var-update 1 var1" \ | |
96 | "\\^done,.*value=\"($hex) .*" \ | |
97 | "-var-update for frame $i" | |
98 | set pcval $expect_out(3,string) | |
99 | ||
100 | # Get the address of the current breakpoint. | |
101 | set bpaddr [breakpoint_address $bpnum] | |
102 | if {$bpaddr == ""} then { return } | |
103 | ||
104 | # Check that the addresses are the same. | |
105 | gdb_assert [expr $bpaddr == $pcval] "\$pc equals address of breakpoint in callee$i" | |
106 | } | |
107 | } | |
108 | ||
109 | # Test that fixed varobjs representing $pc in different stack frames | |
110 | # will provide the correct value via -var-update after the program | |
111 | # counter changes (without substantially changing the stack). | |
112 | ||
113 | proc_with_prefix do_fixed_varobj_test {} { | |
114 | global srcfile | |
115 | global hex | |
116 | ||
117 | gdb_exit | |
118 | if {[mi_gdb_start]} then { | |
119 | fail "couldn't start gdb" | |
120 | return | |
121 | } | |
122 | ||
123 | mi_run_to_main | |
124 | ||
125 | # Run to the function 'callee3' so we have several frames. | |
126 | mi_create_breakpoint "basics.c:callee3" \ | |
127 | "insert breakpoint at basics.c:callee3" \ | |
128 | -number 2 -func callee3 -file ".*basics.c" | |
129 | ||
130 | mi_execute_to "exec-continue" "breakpoint-hit" \ | |
131 | "callee3" ".*" ".*${srcfile}" ".*" \ | |
132 | { "" "disp=\"keep\"" } "breakpoint hit in callee3" | |
133 | ||
134 | # At the breakpoint in callee3 there are 4 frames. | |
135 | # | |
136 | # Create some varobj based on $pc in all frames. When we single | |
137 | # step we expect the varobj for frame 0 to change, while the | |
138 | # varobj for all other frames should be unchanged. | |
139 | # | |
140 | # Track in FIRST_UNCHANGING_VARNUM the number of the first varobj | |
141 | # that is not in frame 0, varobj with a lower number we expect to | |
142 | # change, while this and later varobj should not change. | |
143 | # | |
144 | # Track the number of the next varobj to be created in VARNUM. | |
145 | set first_unchanging_varnum 0 | |
146 | set varnum 1 | |
147 | ||
148 | for {set i 0} {$i < 4} {incr i} { | |
149 | ||
150 | if { $i == 1 } then { set first_unchanging_varnum $varnum } | |
151 | ||
152 | mi_gdb_test "-var-create --thread 1 --frame $i - \* \$pc" \ | |
153 | "\\^done,.*value=\"$hex.*" \ | |
154 | "create varobj for \$pc in frame $i" | |
155 | incr varnum | |
156 | ||
157 | mi_gdb_test "-var-create --thread 1 --frame $i - \* \"global_zero + \$pc\"" \ | |
158 | "\\^done,.*value=\"$hex.*" \ | |
159 | "create varobj for 'global_zero + \$pc' in frame $i" | |
160 | incr varnum | |
161 | } | |
162 | ||
163 | # Step one instruction to change the program counter. | |
164 | mi_execute_to "exec-next-instruction" "end-stepping-range" \ | |
165 | "callee3" ".*" ".*${srcfile}" ".*" "" \ | |
166 | "next instruction in callee3" | |
167 | ||
168 | # Check that -var-update reports that the values are changed for | |
169 | # varobj in frame 0. | |
170 | for {set i 1} {$i < $first_unchanging_varnum} {incr i} { | |
171 | mi_gdb_test "-var-update 1 var$i" \ | |
172 | "\\^done,(changelist=\\\[\{name=\"var$i\"\[^\\\]\]+\\\])" \ | |
173 | "varobj var$i has changed" | |
174 | } | |
175 | ||
176 | # Check that -var-update reports that the values are unchanged for | |
177 | # varobj in frames other than 0. | |
178 | for {set i $first_unchanging_varnum} {$i < $varnum} {incr i} { | |
179 | mi_gdb_test "-var-update 1 var$i" \ | |
180 | "\\^done,(changelist=\\\[\\\])" \ | |
181 | "varobj var$i has not changed" | |
182 | } | |
183 | } | |
184 | ||
185 | do_fixed_varobj_test | |
186 | do_floating_varobj_test |