Commit | Line | Data |
---|---|---|
11bc5fe4 | 1 | # Copyright (C) 2008-2020 Free Software Foundation, Inc. |
a08702d6 TJB |
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 the mechanism | |
17 | # exposing values to Python. | |
18 | ||
a2c09bd0 DE |
19 | load_lib gdb-python.exp |
20 | ||
b4a58790 | 21 | standard_testfile |
db8e4570 | 22 | |
673dc4a0 YQ |
23 | set has_argv0 [gdb_has_argv0] |
24 | ||
db8e4570 | 25 | # Build inferior to language specification. |
ac52f9a2 | 26 | # LANG is one of "c" or "c++". |
db8e4570 UW |
27 | proc build_inferior {exefile lang} { |
28 | global srcdir subdir srcfile testfile hex | |
29 | ||
ac52f9a2 DE |
30 | # Use different names for .o files based on the language. |
31 | # For Fission, the debug info goes in foo.dwo and we don't want, | |
32 | # for example, a C++ compile to clobber the dwo of a C compile. | |
33 | # ref: http://gcc.gnu.org/wiki/DebugFission | |
34 | switch ${lang} { | |
35 | "c" { set filename ${testfile}.o } | |
36 | "c++" { set filename ${testfile}-cxx.o } | |
37 | } | |
38 | set objfile [standard_output_file $filename] | |
39 | ||
40 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${objfile}" object "debug $lang"] != "" | |
41 | || [gdb_compile "${objfile}" "${exefile}" executable "debug $lang"] != "" } { | |
84c93cd5 | 42 | untested "failed to compile in $lang mode" |
db8e4570 UW |
43 | return -1 |
44 | } | |
ac52f9a2 | 45 | return 0 |
a08702d6 TJB |
46 | } |
47 | ||
a08702d6 TJB |
48 | proc test_value_creation {} { |
49 | global gdb_prompt | |
9325cb04 | 50 | global gdb_py_is_py3k |
a08702d6 TJB |
51 | |
52 | gdb_py_test_silent_cmd "python i = gdb.Value (True)" "create boolean value" 1 | |
53 | gdb_py_test_silent_cmd "python i = gdb.Value (5)" "create integer value" 1 | |
9325cb04 PK |
54 | if { $gdb_py_is_py3k == 0 } { |
55 | gdb_py_test_silent_cmd "python i = gdb.Value (5L)" "create long value" 1 | |
56 | } | |
33fa2c6e DE |
57 | |
58 | gdb_py_test_silent_cmd "python l = gdb.Value(0xffffffff12345678)" "create large unsigned 64-bit value" 1 | |
7353f247 TT |
59 | if { $gdb_py_is_py3k == 0 } { |
60 | gdb_test "python print long(l)" "18446744069720004216" "large unsigned 64-bit int conversion to python" | |
61 | } else { | |
62 | gdb_test "python print (int(l))" "18446744069720004216" "large unsigned 64-bit int conversion to python" | |
63 | } | |
33fa2c6e | 64 | |
a08702d6 TJB |
65 | gdb_py_test_silent_cmd "python f = gdb.Value (1.25)" "create double value" 1 |
66 | gdb_py_test_silent_cmd "python a = gdb.Value ('string test')" "create 8-bit string value" 1 | |
9325cb04 PK |
67 | gdb_test "python print (a)" "\"string test\"" "print 8-bit string" |
68 | gdb_test "python print (a.__class__)" "<(type|class) 'gdb.Value'>" "verify type of 8-bit string" | |
33fa2c6e | 69 | |
9325cb04 PK |
70 | if { $gdb_py_is_py3k == 0 } { |
71 | gdb_py_test_silent_cmd "python a = gdb.Value (u'unicode test')" "create unicode value" 1 | |
72 | gdb_test "python print (a)" "\"unicode test\"" "print Unicode string" | |
73 | gdb_test "python print (a.__class__)" "<(type|class) 'gdb.Value'>" "verify type of unicode string" | |
74 | } | |
c0c6f777 TJB |
75 | |
76 | # Test address attribute is None in a non-addressable value | |
cdc7edd7 | 77 | gdb_test "python print ('result = %s' % i.address)" "= None" "test address attribute in non-addressable value" |
a08702d6 TJB |
78 | } |
79 | ||
80 | proc test_value_numeric_ops {} { | |
81 | global gdb_prompt | |
1c1e54f6 | 82 | global gdb_py_is_py3k |
a08702d6 TJB |
83 | |
84 | gdb_py_test_silent_cmd "python i = gdb.Value (5)" "create first integer value" 0 | |
85 | gdb_py_test_silent_cmd "python j = gdb.Value (2)" "create second integer value" 0 | |
86 | gdb_py_test_silent_cmd "python f = gdb.Value (1.25)" "create first double value" 0 | |
87 | gdb_py_test_silent_cmd "python g = gdb.Value (2.5)" "create second double value" 0 | |
9325cb04 PK |
88 | gdb_test "python print ('result = ' + str(i+j))" " = 7" "add two integer values" |
89 | gdb_test "python print ((i+j).__class__)" "<(type|class) 'gdb.Value'>" "verify type of integer add result" | |
90 | ||
91 | gdb_test "python print ('result = ' + str(f+g))" " = 3.75" "add two double values" | |
92 | gdb_test "python print ('result = ' + str(i-j))" " = 3" "subtract two integer values" | |
93 | gdb_test "python print ('result = ' + str(f-g))" " = -1.25" "subtract two double values" | |
94 | gdb_test "python print ('result = ' + str(i*j))" " = 10" "multiply two integer values" | |
95 | gdb_test "python print ('result = ' + str(f*g))" " = 3.125" "multiply two double values" | |
96 | gdb_test "python print ('result = ' + str(i/j))" " = 2" "divide two integer values" | |
97 | gdb_test "python print ('result = ' + str(f/g))" " = 0.5" "divide two double values" | |
98 | gdb_test "python print ('result = ' + str(i%j))" " = 1" "take remainder of two integer values" | |
a08702d6 TJB |
99 | # Remainder of float is implemented in Python but not in GDB's value system. |
100 | ||
9325cb04 PK |
101 | gdb_test "python print ('result = ' + str(i**j))" " = 25" "integer value raised to the power of another integer value" |
102 | gdb_test "python print ('result = ' + str(g**j))" " = 6.25" "double value raised to the power of integer value" | |
a08702d6 | 103 | |
9325cb04 PK |
104 | gdb_test "python print ('result = ' + str(-i))" " = -5" "negated integer value" |
105 | gdb_test "python print ('result = ' + str(+i))" " = 5" "positive integer value" | |
106 | gdb_test "python print ('result = ' + str(-f))" " = -1.25" "negated double value" | |
107 | gdb_test "python print ('result = ' + str(+f))" " = 1.25" "positive double value" | |
108 | gdb_test "python print ('result = ' + str(abs(j-i)))" " = 3" "absolute of integer value" | |
109 | gdb_test "python print ('result = ' + str(abs(f-g)))" " = 1.25" "absolute of double value" | |
a08702d6 TJB |
110 | |
111 | # Test gdb.Value mixed with Python types. | |
112 | ||
9325cb04 PK |
113 | gdb_test "python print ('result = ' + str(i-1))" " = 4" "subtract integer value from python integer" |
114 | gdb_test "python print ((i-1).__class__)" "<(type|class) 'gdb.Value'>" "verify type of mixed integer subtraction result" | |
115 | gdb_test "python print ('result = ' + str(f+1.5))" " = 2.75" "add double value with python float" | |
a08702d6 | 116 | |
9325cb04 PK |
117 | gdb_test "python print ('result = ' + str(1-i))" " = -4" "subtract python integer from integer value" |
118 | gdb_test "python print ('result = ' + str(1.5+f))" " = 2.75" "add python float with double value" | |
a08702d6 | 119 | |
08c637de TJB |
120 | # Conversion test. |
121 | gdb_test "print evalue" " = TWO" | |
89493308 | 122 | gdb_test_no_output "python evalue = gdb.history (0)" |
9325cb04 | 123 | gdb_test "python print (int (evalue))" "2" |
08c637de | 124 | |
a08702d6 TJB |
125 | # Test pointer arithmethic |
126 | ||
127 | # First, obtain the pointers | |
de7ff789 | 128 | gdb_test "print (void *) 2" ".*" "" |
35ec993f | 129 | gdb_test_no_output "python a = gdb.history (0)" "" |
de7ff789 | 130 | gdb_test "print (void *) 5" ".*" "" |
35ec993f | 131 | gdb_test_no_output "python b = gdb.history (0)" "" |
a08702d6 | 132 | |
f5769a2c TT |
133 | gdb_test "python print(int(b))" "5" "convert pointer to int" |
134 | if {!$gdb_py_is_py3k} { | |
135 | gdb_test "python print(long(b))" "5" "convert pointer to long" | |
136 | } | |
137 | ||
9325cb04 PK |
138 | gdb_test "python print ('result = ' + str(a+5))" " = 0x7( <.*>)?" "add pointer value with python integer" |
139 | gdb_test "python print ('result = ' + str(b-2))" " = 0x3( <.*>)?" "subtract python integer from pointer value" | |
140 | gdb_test "python print ('result = ' + str(b-a))" " = 3" "subtract two pointer values" | |
a08702d6 | 141 | |
ddae9462 TT |
142 | gdb_test "python print ('result = ' + 'result'\[gdb.Value(0)\])" \ |
143 | "result = r" "use value as string index" | |
144 | gdb_test "python print ('result = ' + str((1,2,3)\[gdb.Value(0)\]))" \ | |
145 | "result = 1" "use value as tuple index" | |
f5769a2c TT |
146 | if {!$gdb_py_is_py3k} { |
147 | gdb_test "python print ('result = ' + str(\[1,2,3\]\[gdb.Value(0)\]))" \ | |
148 | "result = 1" "use value as array index" | |
149 | } | |
ddae9462 | 150 | |
1c1e54f6 TT |
151 | gdb_test "python print('%x' % int(gdb.parse_and_eval('-1ull')))" \ |
152 | "f+" "int conversion respect type sign" | |
153 | if {!$gdb_py_is_py3k} { | |
154 | gdb_test "python print('%x' % long(gdb.parse_and_eval('-1ull')))" \ | |
155 | "f+" "long conversion respect type sign" | |
156 | } | |
157 | ||
a08702d6 TJB |
158 | # Test some invalid operations. |
159 | ||
9325cb04 | 160 | gdb_test_multiple "python print ('result = ' + str(i+'foo'))" "catch error in python type conversion" { |
a08702d6 TJB |
161 | -re "Argument to arithmetic operation not a number or boolean.*$gdb_prompt $" {pass "catch error in python type conversion"} |
162 | -re "result = .*$gdb_prompt $" {fail "catch error in python type conversion"} | |
163 | -re "$gdb_prompt $" {fail "catch error in python type conversion"} | |
164 | } | |
165 | ||
9325cb04 | 166 | gdb_test_multiple "python print ('result = ' + str(i+gdb.Value('foo')))" "catch throw of GDB error" { |
a08702d6 TJB |
167 | -re "Traceback.*$gdb_prompt $" {pass "catch throw of GDB error"} |
168 | -re "result = .*$gdb_prompt $" {fail "catch throw of GDB error"} | |
169 | -re "$gdb_prompt $" {fail "catch throw of GDB error"} | |
170 | } | |
171 | } | |
172 | ||
173 | proc test_value_boolean {} { | |
174 | # First, define a useful function to test booleans. | |
175 | gdb_py_test_multiple "define function to test booleans" \ | |
176 | "python" "" \ | |
177 | "def test_bool (val):" "" \ | |
178 | " if val:" "" \ | |
9325cb04 | 179 | " print ('yay')" "" \ |
a08702d6 | 180 | " else:" "" \ |
9325cb04 | 181 | " print ('nay')" "" \ |
a08702d6 TJB |
182 | "end" "" |
183 | ||
184 | gdb_test "py test_bool (gdb.Value (True))" "yay" "check evaluation of true boolean value in expression" | |
185 | ||
186 | gdb_test "py test_bool (gdb.Value (False))" "nay" "check evaluation of false boolean value in expression" | |
187 | ||
188 | gdb_test "py test_bool (gdb.Value (5))" "yay" "check evaluation of true integer value in expression" | |
189 | ||
190 | gdb_test "py test_bool (gdb.Value (0))" "nay" "check evaluation of false integer value in expression" | |
191 | ||
082cce05 | 192 | gdb_test "py test_bool (gdb.Value (5.2))" "yay" "check evaluation of true float value in expression" |
a08702d6 | 193 | |
082cce05 | 194 | gdb_test "py test_bool (gdb.Value (0.0))" "nay" "check evaluation of false float value in expression" |
a08702d6 TJB |
195 | } |
196 | ||
197 | proc test_value_compare {} { | |
9325cb04 PK |
198 | gdb_test "py print (gdb.Value (1) < gdb.Value (1))" "False" "less than, equal" |
199 | gdb_test "py print (gdb.Value (1) < gdb.Value (2))" "True" "less than, less" | |
200 | gdb_test "py print (gdb.Value (2) < gdb.Value (1))" "False" "less than, greater" | |
201 | gdb_test "py print (gdb.Value (2) < None)" "False" "less than, None" | |
202 | ||
203 | gdb_test "py print (gdb.Value (1) <= gdb.Value (1))" "True" "less or equal, equal" | |
204 | gdb_test "py print (gdb.Value (1) <= gdb.Value (2))" "True" "less or equal, less" | |
205 | gdb_test "py print (gdb.Value (2) <= gdb.Value (1))" "False" "less or equal, greater" | |
206 | gdb_test "py print (gdb.Value (2) <= None)" "False" "less or equal, None" | |
207 | ||
208 | gdb_test "py print (gdb.Value (1) == gdb.Value (1))" "True" "equality of gdb.Values" | |
209 | gdb_test "py print (gdb.Value (1) == gdb.Value (2))" "False" "inequality of gdb.Values" | |
210 | gdb_test "py print (gdb.Value (1) == 1.0)" "True" "equality of gdb.Value with Python value" | |
211 | gdb_test "py print (gdb.Value (1) == 2)" "False" "inequality of gdb.Value with Python value" | |
212 | gdb_test "py print (gdb.Value (1) == None)" "False" "inequality of gdb.Value with None" | |
213 | ||
214 | gdb_test "py print (gdb.Value (1) != gdb.Value (1))" "False" "inequality, false" | |
215 | gdb_test "py print (gdb.Value (1) != gdb.Value (2))" "True" "inequality, true" | |
216 | gdb_test "py print (gdb.Value (1) != None)" "True" "inequality, None" | |
217 | ||
218 | gdb_test "py print (gdb.Value (1) > gdb.Value (1))" "False" "greater than, equal" | |
219 | gdb_test "py print (gdb.Value (1) > gdb.Value (2))" "False" "greater than, less" | |
220 | gdb_test "py print (gdb.Value (2) > gdb.Value (1))" "True" "greater than, greater" | |
221 | gdb_test "py print (gdb.Value (2) > None)" "True" "greater than, None" | |
222 | ||
223 | gdb_test "py print (gdb.Value (1) >= gdb.Value (1))" "True" "greater or equal, equal" | |
224 | gdb_test "py print (gdb.Value (1) >= gdb.Value (2))" "False" "greater or equal, less" | |
225 | gdb_test "py print (gdb.Value (2) >= gdb.Value (1))" "True" "greater or equal, greater" | |
226 | gdb_test "py print (gdb.Value (2) >= None)" "True" "greater or equal, None" | |
a08702d6 TJB |
227 | } |
228 | ||
229 | proc test_value_in_inferior {} { | |
230 | global gdb_prompt | |
231 | global testfile | |
9325cb04 | 232 | global gdb_py_is_py3k |
a08702d6 TJB |
233 | |
234 | gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] | |
a08702d6 TJB |
235 | gdb_continue_to_breakpoint "break to inspect struct and union" |
236 | ||
237 | # Just get inferior variable s in the value history, available to python. | |
238 | gdb_test "print s" " = {a = 3, b = 5}" "" | |
239 | ||
082cce05 | 240 | gdb_py_test_silent_cmd "python s = gdb.history (0)" "get value s from history" 1 |
a08702d6 | 241 | |
9325cb04 PK |
242 | gdb_test "python print ('result = ' + str(s\['a'\]))" " = 3" "access element inside struct using 8-bit string name" |
243 | if { $gdb_py_is_py3k == 0 } { | |
244 | gdb_test "python print ('result = ' + str(s\[u'a'\]))" " = 3" "access element inside struct using unicode name" | |
245 | } | |
a08702d6 TJB |
246 | |
247 | # Test dereferencing the argv pointer | |
248 | ||
249 | # Just get inferior variable argv the value history, available to python. | |
250 | gdb_test "print argv" " = \\(char \\*\\*\\) 0x.*" "" | |
251 | ||
08c637de | 252 | gdb_py_test_silent_cmd "python argv = gdb.history (0)" "" 0 |
a08702d6 TJB |
253 | gdb_py_test_silent_cmd "python arg0 = argv.dereference ()" "dereference value" 1 |
254 | ||
255 | # Check that the dereferenced value is sane | |
673dc4a0 YQ |
256 | global has_argv0 |
257 | set test "verify dereferenced value" | |
258 | if { $has_argv0 } { | |
c0ecb95f JK |
259 | gdb_test_no_output "set print elements unlimited" "" |
260 | gdb_test_no_output "set print repeats unlimited" "" | |
673dc4a0 YQ |
261 | gdb_test "python print (arg0)" "0x.*$testfile\"" $test |
262 | } else { | |
263 | unsupported $test | |
70362913 | 264 | } |
def2b000 TJB |
265 | |
266 | # Smoke-test is_optimized_out attribute | |
cdc7edd7 | 267 | gdb_test "python print ('result = %s' % arg0.is_optimized_out)" "= False" "test is_optimized_out attribute" |
c0c6f777 TJB |
268 | |
269 | # Test address attribute | |
cdc7edd7 | 270 | gdb_test "python print ('result = %s' % arg0.address)" "= 0x\[\[:xdigit:\]\]+" "test address attribute" |
fbb8f299 | 271 | |
46f886f1 JK |
272 | # Test displaying a variable that is temporarily at a bad address. |
273 | # But if we can examine what's at memory address 0, then we'll also be | |
274 | # able to display it without error. Don't run the test in that case. | |
20c6f1e1 | 275 | set can_read_0 [is_address_zero_readable] |
46f886f1 | 276 | |
621c8364 | 277 | # Test memory error. |
46f886f1 JK |
278 | set test "parse_and_eval with memory error" |
279 | if {$can_read_0} { | |
280 | untested $test | |
281 | } else { | |
9325cb04 | 282 | gdb_test "python print (gdb.parse_and_eval('*(int*)0'))" "gdb.MemoryError: Cannot access memory at address 0x0.*" $test |
46f886f1 | 283 | } |
621c8364 | 284 | |
54d8a644 PK |
285 | # Test Python lazy value handling |
286 | set test "memory error and lazy values" | |
aa2071bd PK |
287 | if {$can_read_0} { |
288 | untested $test | |
289 | } else { | |
54d8a644 | 290 | gdb_test "python inval = gdb.parse_and_eval('*(int*)0')" |
9325cb04 | 291 | gdb_test "python print (inval.is_lazy)" "True" |
082cce05 AB |
292 | gdb_test "python inval2 = inval+1" \ |
293 | "gdb.MemoryError: Cannot access memory at address 0x0.*" \ | |
294 | "$test, first test" | |
295 | gdb_test "python inval.fetch_lazy ()" \ | |
296 | "gdb.MemoryError: Cannot access memory at address 0x0.*" \ | |
297 | "$test, second test" | |
aa2071bd | 298 | } |
4dac951e | 299 | set argc_value [get_integer_valueof "argc" 0] |
aa2071bd | 300 | gdb_test "python argc_lazy = gdb.parse_and_eval('argc')" |
54d8a644 PK |
301 | gdb_test "python argc_notlazy = gdb.parse_and_eval('argc')" |
302 | gdb_test "python argc_notlazy.fetch_lazy()" | |
082cce05 AB |
303 | gdb_test "python print (argc_lazy.is_lazy)" "True" \ |
304 | "python print (argc_lazy.is_lazy) the first time" | |
9325cb04 | 305 | gdb_test "python print (argc_notlazy.is_lazy)" "False" |
4dac951e | 306 | gdb_test "print argc" " = $argc_value" "sanity check argc" |
082cce05 AB |
307 | gdb_test "python print (argc_lazy.is_lazy)" "\r\nTrue" \ |
308 | "python print (argc_lazy.is_lazy) the second time" | |
4dac951e LM |
309 | gdb_test_no_output "set argc=[expr $argc_value + 1]" "change argc" |
310 | gdb_test "python print (argc_notlazy)" "\r\n$argc_value" | |
311 | gdb_test "python print (argc_lazy)" "\r\n[expr $argc_value + 1]" | |
9325cb04 | 312 | gdb_test "python print (argc_lazy.is_lazy)" "False" |
aa2071bd | 313 | |
fbb8f299 PM |
314 | # Test string fetches, both partial and whole. |
315 | gdb_test "print st" "\"divide et impera\"" | |
082cce05 | 316 | gdb_py_test_silent_cmd "python st = gdb.history (0)" "get value st from history" 1 |
9325cb04 | 317 | gdb_test "python print (st.string ())" "divide et impera" "Test string with no length" |
cdc7edd7 | 318 | gdb_test "python print (st.string (length = -1))" "divide et impera" "test string (length = -1) is all of the string" |
9325cb04 | 319 | gdb_test "python print (st.string (length = 6))" "divide" |
cdc7edd7 LM |
320 | gdb_test "python print (\"---\"+st.string (length = 0)+\"---\")" "------" "test string (length = 0) is empty" |
321 | gdb_test "python print (len(st.string (length = 0)))" "0" "test length is 0" | |
fbb8f299 | 322 | |
80e55b13 TT |
323 | # We choose Ada here to test a language where c_style_arrays is |
324 | # false. | |
325 | gdb_test "set lang ada" \ | |
326 | "Warning: the current language does not match this frame." | |
327 | gdb_test "python print (st.string ())" "divide et impera" \ | |
328 | "Test string with no length in ada" | |
329 | gdb_test_no_output "set lang auto" | |
fbb8f299 PM |
330 | |
331 | # Fetch a string that has embedded nulls. | |
332 | gdb_test "print nullst" "\"divide\\\\000et\\\\000impera\".*" | |
082cce05 | 333 | gdb_py_test_silent_cmd "python nullst = gdb.history (0)" "get value nullst from history" 1 |
cdc7edd7 | 334 | gdb_test "python print (nullst.string ())" "divide" "test string to first null" |
fbb8f299 PM |
335 | # Python cannot print strings that contain the null (\0) character. |
336 | # For the purposes of this test, use repr() | |
337 | gdb_py_test_silent_cmd "python nullst = nullst.string (length = 9)" "get string beyond null" 1 | |
9325cb04 | 338 | gdb_test "python print (repr(nullst))" "u?'divide\\\\x00et'" |
0987cf35 DE |
339 | |
340 | # Test fetching a string longer than its declared (in C) size. | |
341 | # PR 16286 | |
342 | gdb_py_test_silent_cmd "python xstr = gdb.parse_and_eval('xstr')" "get xstr" 1 | |
d7fc3181 | 343 | gdb_test "python print(xstr\['text'\].string (length = xstr\['length'\]))" "x{100}" \ |
0987cf35 | 344 | "read string beyond declared size" |
80e55b13 TT |
345 | |
346 | # However it shouldn't be possible to fetch past the end of a | |
347 | # non-memory value. | |
348 | gdb_py_test_silent_cmd "python str = '\"str\"'" "set up str variable" 1 | |
349 | gdb_test "python print (gdb.parse_and_eval (str).string (length = 10))" \ | |
350 | "gdb.error: Attempt to take address of value not located in memory.\r\nError while executing Python code." | |
a08702d6 TJB |
351 | } |
352 | ||
5374244e PM |
353 | proc test_inferior_function_call {} { |
354 | global gdb_prompt hex decimal | |
355 | ||
356 | # Correct inferior call without arguments. | |
357 | gdb_test "p/x fp1" " = $hex.*" | |
082cce05 | 358 | gdb_py_test_silent_cmd "python fp1 = gdb.history (0)" "get value fp1 from history" 1 |
5374244e PM |
359 | gdb_test "python fp1 = fp1.dereference()" "" |
360 | gdb_test "python result = fp1()" "" | |
9325cb04 | 361 | gdb_test "python print (result)" "void" |
5374244e PM |
362 | |
363 | # Correct inferior call with arguments. | |
082cce05 AB |
364 | gdb_test "p/x fp2" " = $hex.*" \ |
365 | "print fp2 to place it into history" | |
366 | gdb_py_test_silent_cmd "python fp2 = gdb.history (0)" "get value fp2 from history" 1 | |
5374244e PM |
367 | gdb_test "python fp2 = fp2.dereference()" "" |
368 | gdb_test "python result2 = fp2(10,20)" "" | |
9325cb04 | 369 | gdb_test "python print (result2)" "30" |
5374244e PM |
370 | |
371 | # Incorrect to call an int value. | |
372 | gdb_test "p i" " = $decimal.*" | |
082cce05 | 373 | gdb_py_test_silent_cmd "python i = gdb.history (0)" "get value i from history" 1 |
5374244e PM |
374 | gdb_test "python result3 = i()" ".*Value is not callable.*" |
375 | ||
376 | # Incorrect number of arguments. | |
082cce05 AB |
377 | gdb_test "p/x fp2" " = $hex.*" \ |
378 | "print fp2 again to place it into history" | |
379 | gdb_py_test_silent_cmd "python fp3 = gdb.history (0)" "get value fp3 from history" 1 | |
5374244e PM |
380 | gdb_test "python fp3 = fp3.dereference()" "" |
381 | gdb_test "python result2 = fp3(10)" ".*Too few arguments in function call.*" | |
382 | } | |
383 | ||
89c73ade TT |
384 | # A few objfile tests. |
385 | proc test_objfiles {} { | |
9325cb04 | 386 | gdb_test "python\nok=False\nfor file in gdb.objfiles():\n if 'py-value' in file.filename:\n ok=True\nprint (ok)\nend" "True" \ |
90556b8c | 387 | "py-value in file.filename" |
89c73ade | 388 | |
9325cb04 | 389 | gdb_test "python print (gdb.objfiles()\[0\].pretty_printers)" "\\\[\\\]" |
89c73ade TT |
390 | |
391 | gdb_test "python gdb.objfiles()\[0\].pretty_printers = 0" \ | |
392 | "pretty_printers attribute must be a list.*Error while executing Python code." | |
393 | } | |
a08702d6 | 394 | |
2c74e833 TT |
395 | proc test_value_after_death {} { |
396 | # Construct a type while the inferior is still running. | |
397 | gdb_py_test_silent_cmd "python ptrtype = gdb.lookup_type('PTR')" \ | |
398 | "create PTR type" 1 | |
399 | ||
400 | # Kill the inferior and remove the symbols. | |
401 | gdb_test "kill" "" "kill the inferior" \ | |
402 | "Kill the program being debugged. .y or n. $" \ | |
403 | "y" | |
cdc7edd7 | 404 | gdb_test "file" "" "discard the symbols" \ |
2c74e833 TT |
405 | "Discard symbol table from.*y or n. $" \ |
406 | "y" | |
407 | ||
408 | # Now create a value using that type. Relies on arg0, created by | |
409 | # test_value_in_inferior. | |
410 | gdb_py_test_silent_cmd "python castval = arg0.cast(ptrtype.pointer())" \ | |
411 | "cast arg0 to PTR" 1 | |
412 | ||
413 | # Make sure the type is deleted. | |
414 | gdb_py_test_silent_cmd "python ptrtype = None" \ | |
415 | "delete PTR type" 1 | |
416 | ||
417 | # Now see if the value's type is still valid. | |
9325cb04 | 418 | gdb_test "python print (castval.type)" "PTR ." \ |
2c74e833 TT |
419 | "print value's type" |
420 | } | |
421 | ||
2e4d963f PM |
422 | # Regression test for invalid subscript operations. The bug was that |
423 | # the type of the value was not being checked before allowing a | |
424 | # subscript operation to proceed. | |
425 | ||
db8e4570 | 426 | proc test_subscript_regression {exefile lang} { |
2e4d963f | 427 | # Start with a fresh gdb. |
d54b30bb | 428 | clean_restart ${exefile} |
2e4d963f PM |
429 | |
430 | if ![runto_main ] then { | |
431 | perror "couldn't run to breakpoint" | |
432 | return | |
433 | } | |
434 | ||
435 | if {$lang == "c++"} { | |
436 | gdb_breakpoint [gdb_get_line_number "break to inspect pointer by reference"] | |
437 | gdb_continue_to_breakpoint "break to inspect pointer by reference" | |
438 | ||
439 | gdb_py_test_silent_cmd "print rptr_int" \ | |
440 | "Obtain address" 1 | |
441 | gdb_py_test_silent_cmd "python rptr = gdb.history(0)" \ | |
442 | "Obtains value from GDB" 1 | |
cdc7edd7 | 443 | gdb_test "python print (rptr\[0\])" "2" "check pointer passed as reference" |
f9ffd4bb TT |
444 | |
445 | # Just the most basic test of dynamic_cast -- it is checked in | |
446 | # the C++ tests. | |
9325cb04 | 447 | gdb_test "python print (bool(gdb.parse_and_eval('base').dynamic_cast(gdb.lookup_type('Derived').pointer())))" \ |
f9ffd4bb | 448 | True |
03f17ccf TT |
449 | |
450 | # Likewise. | |
9325cb04 | 451 | gdb_test "python print (gdb.parse_and_eval('base').dynamic_type)" \ |
03f17ccf | 452 | "Derived \[*\]" |
7af389b8 SC |
453 | gdb_test "python print (gdb.parse_and_eval('base_ref').dynamic_type)" \ |
454 | "Derived \[&\]" | |
03f17ccf | 455 | # A static type case. |
9325cb04 | 456 | gdb_test "python print (gdb.parse_and_eval('5').dynamic_type)" \ |
03f17ccf | 457 | "int" |
2e4d963f PM |
458 | } |
459 | ||
460 | gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] | |
082cce05 AB |
461 | gdb_continue_to_breakpoint \ |
462 | "break to inspect struct and union for subscript regression test" | |
2e4d963f PM |
463 | |
464 | gdb_py_test_silent_cmd "python intv = gdb.Value(1)" \ | |
082cce05 | 465 | "Create value intv for subscript test" 1 |
2e4d963f | 466 | gdb_py_test_silent_cmd "python stringv = gdb.Value(\"foo\")" \ |
082cce05 | 467 | "Create value stringv for subscript test" 1 |
2e4d963f PM |
468 | |
469 | # Try to access an int with a subscript. This should fail. | |
cdc7edd7 | 470 | gdb_test "python print (intv)" "1" "baseline print of an int Python value" |
9325cb04 | 471 | gdb_test "python print (intv\[0\])" "gdb.error: Cannot subscript requested type.*" \ |
2e4d963f PM |
472 | "Attempt to access an integer with a subscript" |
473 | ||
474 | # Try to access a string with a subscript. This should pass. | |
cdc7edd7 LM |
475 | gdb_test "python print (stringv)" "foo." "baseline print of a string Python value" |
476 | gdb_test "python print (stringv\[0\])" "f." "attempt to access a string with a subscript" | |
2e4d963f PM |
477 | |
478 | # Try to access an int array via a pointer with a subscript. This should pass. | |
479 | gdb_py_test_silent_cmd "print p" "Build pointer to array" 1 | |
082cce05 | 480 | gdb_py_test_silent_cmd "python pointer = gdb.history(0)" "fetch pointer" 0 |
cdc7edd7 LM |
481 | gdb_test "python print (pointer\[0\])" "1" "access array via pointer with int subscript" |
482 | gdb_test "python print (pointer\[intv\])" "2" "access array via pointer with value subscript" | |
2e4d963f PM |
483 | |
484 | # Try to access a single dimension array with a subscript to the | |
485 | # result. This should fail. | |
9325cb04 | 486 | gdb_test "python print (pointer\[intv\]\[0\])" "gdb.error: Cannot subscript requested type.*" \ |
082cce05 | 487 | "Attempt to access a single dimension array with a two subscripts" |
2e4d963f PM |
488 | |
489 | # Lastly, test subscript access to an array with multiple | |
490 | # dimensions. This should pass. | |
491 | gdb_py_test_silent_cmd "print {\"fu \",\"foo\",\"bar\"}" "Build array" 1 | |
082cce05 | 492 | gdb_py_test_silent_cmd "python marray = gdb.history(0)" "fetch marray" 0 |
cdc7edd7 | 493 | gdb_test "python print (marray\[1\]\[2\])" "o." "test multiple subscript" |
2e4d963f PM |
494 | } |
495 | ||
57a1d736 TT |
496 | # A few tests of gdb.parse_and_eval. |
497 | proc test_parse_and_eval {} { | |
9325cb04 | 498 | gdb_test "python print (gdb.parse_and_eval ('23'))" "23" \ |
57a1d736 | 499 | "parse_and_eval constant test" |
9325cb04 | 500 | gdb_test "python print (gdb.parse_and_eval ('5 + 7'))" "12" \ |
57a1d736 | 501 | "parse_and_eval simple expression test" |
9325cb04 PK |
502 | gdb_test "python print (type(gdb.parse_and_eval ('5 + 7')))" \ |
503 | ".(type|class) 'gdb.Value'."\ | |
57a1d736 TT |
504 | "parse_and_eval type test" |
505 | } | |
506 | ||
88d4aea7 PM |
507 | # Test that values are hashable. |
508 | proc test_value_hash {} { | |
509 | gdb_py_test_multiple "Simple Python value dictionary" \ | |
510 | "python" "" \ | |
511 | "one = gdb.Value(1)" "" \ | |
512 | "two = gdb.Value(2)" "" \ | |
513 | "three = gdb.Value(3)" "" \ | |
514 | "vdict = {one:\"one str\",two:\"two str\",three:\"three str\"}" "" \ | |
515 | "end" | |
082cce05 AB |
516 | gdb_test "python print (vdict\[one\])" "one str" "test dictionary hash for one" |
517 | gdb_test "python print (vdict\[two\])" "two str" "test dictionary hash for two" | |
518 | gdb_test "python print (vdict\[three\])" "three str" "test dictionary hash for three" | |
cdc7edd7 | 519 | gdb_test "python print (one.__hash__() == hash(one))" "True" "test inbuilt hash" |
88d4aea7 PM |
520 | } |
521 | ||
fb4fa946 TT |
522 | proc test_float_conversion {} { |
523 | global gdb_py_is_py3k | |
524 | gdb_test "python print(int(gdb.Value(0)))" "0" | |
525 | gdb_test "python print(int(gdb.Value(2.5)))" "2" | |
526 | if {!$gdb_py_is_py3k} { | |
527 | gdb_test "python print(long(gdb.Value(0)))" "0" | |
528 | gdb_test "python print(long(gdb.Value(2.5)))" "2" | |
529 | } | |
530 | gdb_test "python print(float(gdb.Value(2.5)))" "2\\.5" | |
531 | gdb_test "python print(float(gdb.Value(0)))" "0\\.0" | |
532 | } | |
533 | ||
bc2a507e KB |
534 | proc test_value_from_buffer {} { |
535 | global gdb_prompt | |
536 | global gdb_py_is_py3k | |
537 | ||
538 | gdb_py_test_silent_cmd "python tp=gdb.lookup_type('int')" "look up int type" 0 | |
539 | gdb_py_test_silent_cmd "python size_a=gdb.parse_and_eval('sizeof(a)')" \ | |
540 | "find size of a" 0 | |
541 | gdb_py_test_silent_cmd "python size_a0=gdb.parse_and_eval('sizeof(a\[0\])')" \ | |
542 | "find size of element of a" 0 | |
543 | gdb_py_test_silent_cmd "python addr=gdb.parse_and_eval('&a')" \ | |
544 | "find address of a" 0 | |
545 | gdb_py_test_silent_cmd "python b=gdb.selected_inferior().read_memory(addr,size_a)" \ | |
546 | "read buffer from memory" 1 | |
547 | gdb_test "python v=gdb.Value(b,tp); print(v)" "1" \ | |
548 | "construct value from buffer" | |
549 | gdb_test "python v=gdb.Value(b\[size_a0:\],tp); print(v)" "2" \ | |
550 | "convert 2nd elem of buffer to value" | |
551 | gdb_test "python v=gdb.Value(b\[2*size_a0:\],tp); print(v)" "3" \ | |
552 | "convert 3rd elem of buffer to value" | |
553 | gdb_test "python v=gdb.Value(b\[2*size_a0+1:\],tp); print(v)" \ | |
8791793c | 554 | "ValueError: Size of type is larger than that of buffer object\..*" \ |
bc2a507e KB |
555 | "attempt to convert smaller buffer than size of type" |
556 | gdb_py_test_silent_cmd "python atp=tp.array(2) ; print(atp)" \ | |
557 | "make array type" 0 | |
558 | gdb_py_test_silent_cmd "python va=gdb.Value(b,atp)" \ | |
559 | "construct array value from buffer" 0 | |
560 | gdb_test "python print(va)" "\\{1, 2, 3\\}" "print array value" | |
561 | gdb_test "python print(va\[0\])" "1" "print first array element" | |
562 | gdb_test "python print(va\[1\])" "2" "print second array element" | |
563 | gdb_test "python print(va\[2\])" "3" "print third array element" | |
564 | gdb_test "python print(va\[3\])" "gdb\.error: no such vector element.*" \ | |
565 | "print out of bounds array element" | |
566 | gdb_py_test_silent_cmd "python atpbig=tp.array(3)" "make bigger array type" 0 | |
567 | gdb_test "python vabig=gdb.Value(b,atpbig)" \ | |
568 | "ValueError: Size of type is larger than that of buffer object\..*" \ | |
569 | "attempt to construct large value with small buffer" | |
570 | gdb_test "python v=gdb.Value(2048,tp)" \ | |
571 | "TypeError: Object must support the python buffer protocol\..*" \ | |
572 | "attempt to construct value from buffer with non-buffer object" | |
573 | gdb_test "python v=gdb.Value(b,'int'); print(v)" \ | |
574 | "TypeError: type argument must be a gdb\.Type\..*" \ | |
575 | "attempt to construct value with string as type" | |
576 | } | |
577 | ||
ac52f9a2 DE |
578 | # Build C version of executable. C++ is built later. |
579 | if { [build_inferior "${binfile}" "c"] < 0 } { | |
580 | return -1 | |
581 | } | |
88d4aea7 | 582 | |
a08702d6 | 583 | # Start with a fresh gdb. |
d54b30bb | 584 | clean_restart ${binfile} |
a08702d6 | 585 | |
f6bbabf0 PM |
586 | # Skip all tests if Python scripting is not enabled. |
587 | if { [skip_python_tests] } { continue } | |
a08702d6 TJB |
588 | |
589 | test_value_creation | |
590 | test_value_numeric_ops | |
591 | test_value_boolean | |
592 | test_value_compare | |
89c73ade | 593 | test_objfiles |
57a1d736 | 594 | test_parse_and_eval |
88d4aea7 | 595 | test_value_hash |
fb4fa946 | 596 | test_float_conversion |
adc13a14 PA |
597 | |
598 | # The following tests require execution. | |
599 | ||
600 | if ![runto_main] then { | |
bc6c7af4 | 601 | fail "can't run to main" |
adc13a14 PA |
602 | return 0 |
603 | } | |
604 | ||
a08702d6 | 605 | test_value_in_inferior |
bc2a507e | 606 | test_value_from_buffer |
5374244e | 607 | test_inferior_function_call |
2c74e833 | 608 | test_value_after_death |
2e4d963f | 609 | |
db8e4570 | 610 | # Test either C or C++ values. |
ac52f9a2 | 611 | |
db8e4570 | 612 | test_subscript_regression "${binfile}" "c" |
ac52f9a2 DE |
613 | |
614 | if ![skip_cplus_tests] { | |
615 | if { [build_inferior "${binfile}-cxx" "c++"] < 0 } { | |
616 | return -1 | |
617 | } | |
35720eaa DE |
618 | with_test_prefix "c++" { |
619 | test_subscript_regression "${binfile}-cxx" "c++" | |
620 | } | |
ac52f9a2 | 621 | } |