]>
Commit | Line | Data |
---|---|---|
8acc9f48 | 1 | # Copyright (C) 2008-2013 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 UW |
22 | |
23 | # Build inferior to language specification. | |
24 | proc build_inferior {exefile lang} { | |
25 | global srcdir subdir srcfile testfile hex | |
26 | ||
27 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${exefile}" executable "debug $lang"] != "" } { | |
28 | untested "Couldn't compile ${srcfile} in $lang mode" | |
29 | return -1 | |
30 | } | |
a08702d6 TJB |
31 | } |
32 | ||
a08702d6 TJB |
33 | proc test_value_creation {} { |
34 | global gdb_prompt | |
9325cb04 | 35 | global gdb_py_is_py3k |
a08702d6 TJB |
36 | |
37 | gdb_py_test_silent_cmd "python i = gdb.Value (True)" "create boolean value" 1 | |
38 | gdb_py_test_silent_cmd "python i = gdb.Value (5)" "create integer value" 1 | |
9325cb04 PK |
39 | if { $gdb_py_is_py3k == 0 } { |
40 | gdb_py_test_silent_cmd "python i = gdb.Value (5L)" "create long value" 1 | |
41 | } | |
a08702d6 TJB |
42 | gdb_py_test_silent_cmd "python f = gdb.Value (1.25)" "create double value" 1 |
43 | gdb_py_test_silent_cmd "python a = gdb.Value ('string test')" "create 8-bit string value" 1 | |
9325cb04 PK |
44 | gdb_test "python print (a)" "\"string test\"" "print 8-bit string" |
45 | gdb_test "python print (a.__class__)" "<(type|class) 'gdb.Value'>" "verify type of 8-bit string" | |
46 | if { $gdb_py_is_py3k == 0 } { | |
47 | gdb_py_test_silent_cmd "python a = gdb.Value (u'unicode test')" "create unicode value" 1 | |
48 | gdb_test "python print (a)" "\"unicode test\"" "print Unicode string" | |
49 | gdb_test "python print (a.__class__)" "<(type|class) 'gdb.Value'>" "verify type of unicode string" | |
50 | } | |
c0c6f777 TJB |
51 | |
52 | # Test address attribute is None in a non-addressable value | |
9325cb04 | 53 | gdb_test "python print ('result = %s' % i.address)" "= None" "Test address attribute in non-addressable value" |
a08702d6 TJB |
54 | } |
55 | ||
56 | proc test_value_numeric_ops {} { | |
57 | global gdb_prompt | |
58 | ||
59 | gdb_py_test_silent_cmd "python i = gdb.Value (5)" "create first integer value" 0 | |
60 | gdb_py_test_silent_cmd "python j = gdb.Value (2)" "create second integer value" 0 | |
61 | gdb_py_test_silent_cmd "python f = gdb.Value (1.25)" "create first double value" 0 | |
62 | gdb_py_test_silent_cmd "python g = gdb.Value (2.5)" "create second double value" 0 | |
9325cb04 PK |
63 | gdb_test "python print ('result = ' + str(i+j))" " = 7" "add two integer values" |
64 | gdb_test "python print ((i+j).__class__)" "<(type|class) 'gdb.Value'>" "verify type of integer add result" | |
65 | ||
66 | gdb_test "python print ('result = ' + str(f+g))" " = 3.75" "add two double values" | |
67 | gdb_test "python print ('result = ' + str(i-j))" " = 3" "subtract two integer values" | |
68 | gdb_test "python print ('result = ' + str(f-g))" " = -1.25" "subtract two double values" | |
69 | gdb_test "python print ('result = ' + str(i*j))" " = 10" "multiply two integer values" | |
70 | gdb_test "python print ('result = ' + str(f*g))" " = 3.125" "multiply two double values" | |
71 | gdb_test "python print ('result = ' + str(i/j))" " = 2" "divide two integer values" | |
72 | gdb_test "python print ('result = ' + str(f/g))" " = 0.5" "divide two double values" | |
73 | gdb_test "python print ('result = ' + str(i%j))" " = 1" "take remainder of two integer values" | |
a08702d6 TJB |
74 | # Remainder of float is implemented in Python but not in GDB's value system. |
75 | ||
9325cb04 PK |
76 | gdb_test "python print ('result = ' + str(i**j))" " = 25" "integer value raised to the power of another integer value" |
77 | gdb_test "python print ('result = ' + str(g**j))" " = 6.25" "double value raised to the power of integer value" | |
a08702d6 | 78 | |
9325cb04 PK |
79 | gdb_test "python print ('result = ' + str(-i))" " = -5" "negated integer value" |
80 | gdb_test "python print ('result = ' + str(+i))" " = 5" "positive integer value" | |
81 | gdb_test "python print ('result = ' + str(-f))" " = -1.25" "negated double value" | |
82 | gdb_test "python print ('result = ' + str(+f))" " = 1.25" "positive double value" | |
83 | gdb_test "python print ('result = ' + str(abs(j-i)))" " = 3" "absolute of integer value" | |
84 | gdb_test "python print ('result = ' + str(abs(f-g)))" " = 1.25" "absolute of double value" | |
a08702d6 TJB |
85 | |
86 | # Test gdb.Value mixed with Python types. | |
87 | ||
9325cb04 PK |
88 | gdb_test "python print ('result = ' + str(i-1))" " = 4" "subtract integer value from python integer" |
89 | gdb_test "python print ((i-1).__class__)" "<(type|class) 'gdb.Value'>" "verify type of mixed integer subtraction result" | |
90 | gdb_test "python print ('result = ' + str(f+1.5))" " = 2.75" "add double value with python float" | |
a08702d6 | 91 | |
9325cb04 PK |
92 | gdb_test "python print ('result = ' + str(1-i))" " = -4" "subtract python integer from integer value" |
93 | gdb_test "python print ('result = ' + str(1.5+f))" " = 2.75" "add python float with double value" | |
a08702d6 | 94 | |
08c637de TJB |
95 | # Conversion test. |
96 | gdb_test "print evalue" " = TWO" | |
89493308 | 97 | gdb_test_no_output "python evalue = gdb.history (0)" |
9325cb04 | 98 | gdb_test "python print (int (evalue))" "2" |
08c637de | 99 | |
a08702d6 TJB |
100 | # Test pointer arithmethic |
101 | ||
102 | # First, obtain the pointers | |
de7ff789 | 103 | gdb_test "print (void *) 2" ".*" "" |
35ec993f | 104 | gdb_test_no_output "python a = gdb.history (0)" "" |
de7ff789 | 105 | gdb_test "print (void *) 5" ".*" "" |
35ec993f | 106 | gdb_test_no_output "python b = gdb.history (0)" "" |
a08702d6 | 107 | |
9325cb04 PK |
108 | gdb_test "python print ('result = ' + str(a+5))" " = 0x7( <.*>)?" "add pointer value with python integer" |
109 | gdb_test "python print ('result = ' + str(b-2))" " = 0x3( <.*>)?" "subtract python integer from pointer value" | |
110 | gdb_test "python print ('result = ' + str(b-a))" " = 3" "subtract two pointer values" | |
a08702d6 TJB |
111 | |
112 | # Test some invalid operations. | |
113 | ||
9325cb04 | 114 | gdb_test_multiple "python print ('result = ' + str(i+'foo'))" "catch error in python type conversion" { |
a08702d6 TJB |
115 | -re "Argument to arithmetic operation not a number or boolean.*$gdb_prompt $" {pass "catch error in python type conversion"} |
116 | -re "result = .*$gdb_prompt $" {fail "catch error in python type conversion"} | |
117 | -re "$gdb_prompt $" {fail "catch error in python type conversion"} | |
118 | } | |
119 | ||
9325cb04 | 120 | gdb_test_multiple "python print ('result = ' + str(i+gdb.Value('foo')))" "catch throw of GDB error" { |
a08702d6 TJB |
121 | -re "Traceback.*$gdb_prompt $" {pass "catch throw of GDB error"} |
122 | -re "result = .*$gdb_prompt $" {fail "catch throw of GDB error"} | |
123 | -re "$gdb_prompt $" {fail "catch throw of GDB error"} | |
124 | } | |
125 | } | |
126 | ||
127 | proc test_value_boolean {} { | |
128 | # First, define a useful function to test booleans. | |
129 | gdb_py_test_multiple "define function to test booleans" \ | |
130 | "python" "" \ | |
131 | "def test_bool (val):" "" \ | |
132 | " if val:" "" \ | |
9325cb04 | 133 | " print ('yay')" "" \ |
a08702d6 | 134 | " else:" "" \ |
9325cb04 | 135 | " print ('nay')" "" \ |
a08702d6 TJB |
136 | "end" "" |
137 | ||
138 | gdb_test "py test_bool (gdb.Value (True))" "yay" "check evaluation of true boolean value in expression" | |
139 | ||
140 | gdb_test "py test_bool (gdb.Value (False))" "nay" "check evaluation of false boolean value in expression" | |
141 | ||
142 | gdb_test "py test_bool (gdb.Value (5))" "yay" "check evaluation of true integer value in expression" | |
143 | ||
144 | gdb_test "py test_bool (gdb.Value (0))" "nay" "check evaluation of false integer value in expression" | |
145 | ||
146 | gdb_test "py test_bool (gdb.Value (5.2))" "yay" "check evaluation of true integer value in expression" | |
147 | ||
148 | gdb_test "py test_bool (gdb.Value (0.0))" "nay" "check evaluation of false integer value in expression" | |
149 | } | |
150 | ||
151 | proc test_value_compare {} { | |
9325cb04 PK |
152 | gdb_test "py print (gdb.Value (1) < gdb.Value (1))" "False" "less than, equal" |
153 | gdb_test "py print (gdb.Value (1) < gdb.Value (2))" "True" "less than, less" | |
154 | gdb_test "py print (gdb.Value (2) < gdb.Value (1))" "False" "less than, greater" | |
155 | gdb_test "py print (gdb.Value (2) < None)" "False" "less than, None" | |
156 | ||
157 | gdb_test "py print (gdb.Value (1) <= gdb.Value (1))" "True" "less or equal, equal" | |
158 | gdb_test "py print (gdb.Value (1) <= gdb.Value (2))" "True" "less or equal, less" | |
159 | gdb_test "py print (gdb.Value (2) <= gdb.Value (1))" "False" "less or equal, greater" | |
160 | gdb_test "py print (gdb.Value (2) <= None)" "False" "less or equal, None" | |
161 | ||
162 | gdb_test "py print (gdb.Value (1) == gdb.Value (1))" "True" "equality of gdb.Values" | |
163 | gdb_test "py print (gdb.Value (1) == gdb.Value (2))" "False" "inequality of gdb.Values" | |
164 | gdb_test "py print (gdb.Value (1) == 1.0)" "True" "equality of gdb.Value with Python value" | |
165 | gdb_test "py print (gdb.Value (1) == 2)" "False" "inequality of gdb.Value with Python value" | |
166 | gdb_test "py print (gdb.Value (1) == None)" "False" "inequality of gdb.Value with None" | |
167 | ||
168 | gdb_test "py print (gdb.Value (1) != gdb.Value (1))" "False" "inequality, false" | |
169 | gdb_test "py print (gdb.Value (1) != gdb.Value (2))" "True" "inequality, true" | |
170 | gdb_test "py print (gdb.Value (1) != None)" "True" "inequality, None" | |
171 | ||
172 | gdb_test "py print (gdb.Value (1) > gdb.Value (1))" "False" "greater than, equal" | |
173 | gdb_test "py print (gdb.Value (1) > gdb.Value (2))" "False" "greater than, less" | |
174 | gdb_test "py print (gdb.Value (2) > gdb.Value (1))" "True" "greater than, greater" | |
175 | gdb_test "py print (gdb.Value (2) > None)" "True" "greater than, None" | |
176 | ||
177 | gdb_test "py print (gdb.Value (1) >= gdb.Value (1))" "True" "greater or equal, equal" | |
178 | gdb_test "py print (gdb.Value (1) >= gdb.Value (2))" "False" "greater or equal, less" | |
179 | gdb_test "py print (gdb.Value (2) >= gdb.Value (1))" "True" "greater or equal, greater" | |
180 | gdb_test "py print (gdb.Value (2) >= None)" "True" "greater or equal, None" | |
a08702d6 TJB |
181 | } |
182 | ||
183 | proc test_value_in_inferior {} { | |
184 | global gdb_prompt | |
185 | global testfile | |
9325cb04 | 186 | global gdb_py_is_py3k |
a08702d6 TJB |
187 | |
188 | gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] | |
a08702d6 TJB |
189 | |
190 | gdb_continue_to_breakpoint "break to inspect struct and union" | |
191 | ||
192 | # Just get inferior variable s in the value history, available to python. | |
193 | gdb_test "print s" " = {a = 3, b = 5}" "" | |
194 | ||
08c637de | 195 | gdb_py_test_silent_cmd "python s = gdb.history (0)" "get value from history" 1 |
a08702d6 | 196 | |
9325cb04 PK |
197 | gdb_test "python print ('result = ' + str(s\['a'\]))" " = 3" "access element inside struct using 8-bit string name" |
198 | if { $gdb_py_is_py3k == 0 } { | |
199 | gdb_test "python print ('result = ' + str(s\[u'a'\]))" " = 3" "access element inside struct using unicode name" | |
200 | } | |
a08702d6 TJB |
201 | |
202 | # Test dereferencing the argv pointer | |
203 | ||
204 | # Just get inferior variable argv the value history, available to python. | |
205 | gdb_test "print argv" " = \\(char \\*\\*\\) 0x.*" "" | |
206 | ||
08c637de | 207 | gdb_py_test_silent_cmd "python argv = gdb.history (0)" "" 0 |
a08702d6 TJB |
208 | gdb_py_test_silent_cmd "python arg0 = argv.dereference ()" "dereference value" 1 |
209 | ||
210 | # Check that the dereferenced value is sane | |
70362913 | 211 | if { ! [target_info exists noargs] } { |
9325cb04 | 212 | gdb_test "python print (arg0)" "0x.*$testfile\"" "verify dereferenced value" |
70362913 | 213 | } |
def2b000 TJB |
214 | |
215 | # Smoke-test is_optimized_out attribute | |
9325cb04 | 216 | gdb_test "python print ('result = %s' % arg0.is_optimized_out)" "= False" "Test is_optimized_out attribute" |
c0c6f777 TJB |
217 | |
218 | # Test address attribute | |
9325cb04 | 219 | gdb_test "python print ('result = %s' % arg0.address)" "= 0x\[\[:xdigit:\]\]+" "Test address attribute" |
fbb8f299 | 220 | |
46f886f1 JK |
221 | # Test displaying a variable that is temporarily at a bad address. |
222 | # But if we can examine what's at memory address 0, then we'll also be | |
223 | # able to display it without error. Don't run the test in that case. | |
224 | set can_read_0 0 | |
225 | gdb_test_multiple "x 0" "memory at address 0" { | |
226 | -re "0x0:\[ \t\]*Cannot access memory at address 0x0\r\n$gdb_prompt $" { } | |
227 | -re "0x0:\[ \t\]*Error accessing memory address 0x0\r\n$gdb_prompt $" { } | |
228 | -re "\r\n$gdb_prompt $" { | |
229 | set can_read_0 1 | |
230 | } | |
231 | } | |
232 | ||
621c8364 | 233 | # Test memory error. |
46f886f1 JK |
234 | set test "parse_and_eval with memory error" |
235 | if {$can_read_0} { | |
236 | untested $test | |
237 | } else { | |
9325cb04 | 238 | gdb_test "python print (gdb.parse_and_eval('*(int*)0'))" "gdb.MemoryError: Cannot access memory at address 0x0.*" $test |
46f886f1 | 239 | } |
621c8364 | 240 | |
54d8a644 PK |
241 | # Test Python lazy value handling |
242 | set test "memory error and lazy values" | |
aa2071bd PK |
243 | if {$can_read_0} { |
244 | untested $test | |
245 | } else { | |
54d8a644 | 246 | gdb_test "python inval = gdb.parse_and_eval('*(int*)0')" |
9325cb04 | 247 | gdb_test "python print (inval.is_lazy)" "True" |
54d8a644 PK |
248 | gdb_test "python inval2 = inval+1" "gdb.MemoryError: Cannot access memory at address 0x0.*" $test |
249 | gdb_test "python inval.fetch_lazy ()" "gdb.MemoryError: Cannot access memory at address 0x0.*" $test | |
aa2071bd PK |
250 | } |
251 | gdb_test "python argc_lazy = gdb.parse_and_eval('argc')" | |
54d8a644 PK |
252 | gdb_test "python argc_notlazy = gdb.parse_and_eval('argc')" |
253 | gdb_test "python argc_notlazy.fetch_lazy()" | |
9325cb04 PK |
254 | gdb_test "python print (argc_lazy.is_lazy)" "True" |
255 | gdb_test "python print (argc_notlazy.is_lazy)" "False" | |
aa2071bd | 256 | gdb_test "print argc" " = 1" "sanity check argc" |
9325cb04 | 257 | gdb_test "python print (argc_lazy.is_lazy)" "\r\nTrue" |
aa2071bd | 258 | gdb_test_no_output "set argc=2" |
9325cb04 PK |
259 | gdb_test "python print (argc_notlazy)" "\r\n1" |
260 | gdb_test "python print (argc_lazy)" "\r\n2" | |
261 | gdb_test "python print (argc_lazy.is_lazy)" "False" | |
aa2071bd | 262 | |
fbb8f299 PM |
263 | # Test string fetches, both partial and whole. |
264 | gdb_test "print st" "\"divide et impera\"" | |
265 | gdb_py_test_silent_cmd "python st = gdb.history (0)" "get value from history" 1 | |
9325cb04 PK |
266 | gdb_test "python print (st.string ())" "divide et impera" "Test string with no length" |
267 | gdb_test "python print (st.string (length = -1))" "divide et impera" "Test string (length = -1) is all of the string" | |
268 | gdb_test "python print (st.string (length = 6))" "divide" | |
269 | gdb_test "python print (\"---\"+st.string (length = 0)+\"---\")" "------" "Test string (length = 0) is empty" | |
270 | gdb_test "python print (len(st.string (length = 0)))" "0" "Test length is 0" | |
fbb8f299 PM |
271 | |
272 | ||
273 | # Fetch a string that has embedded nulls. | |
274 | gdb_test "print nullst" "\"divide\\\\000et\\\\000impera\".*" | |
275 | gdb_py_test_silent_cmd "python nullst = gdb.history (0)" "get value from history" 1 | |
9325cb04 | 276 | gdb_test "python print (nullst.string ())" "divide" "Test string to first null" |
fbb8f299 PM |
277 | # Python cannot print strings that contain the null (\0) character. |
278 | # For the purposes of this test, use repr() | |
279 | gdb_py_test_silent_cmd "python nullst = nullst.string (length = 9)" "get string beyond null" 1 | |
9325cb04 | 280 | gdb_test "python print (repr(nullst))" "u?'divide\\\\x00et'" |
a08702d6 TJB |
281 | } |
282 | ||
be759fcf PM |
283 | proc test_lazy_strings {} { |
284 | ||
285 | global hex | |
286 | ||
287 | gdb_test "print sptr" "\"pointer\"" | |
288 | gdb_py_test_silent_cmd "python sptr = gdb.history (0)" "Get value from history" 1 | |
289 | ||
290 | gdb_py_test_silent_cmd "python lstr = sptr.lazy_string()" "Aquire lazy string" 1 | |
9325cb04 PK |
291 | gdb_test "python print (lstr.type)" "const char \*." "Test type name equality" |
292 | gdb_test "python print (sptr.type)" "const char \*." "Test type name equality" | |
fff5cc64 PM |
293 | gdb_test "print sn" "0x0" |
294 | gdb_py_test_silent_cmd "python snptr = gdb.history (0)" "Get value from history" 1 | |
295 | gdb_test "python snstr = snptr.lazy_string(length=5)" ".*Cannot create a lazy string with address.*" "Test lazy string" | |
296 | gdb_py_test_silent_cmd "python snstr = snptr.lazy_string(length=0)" "Succesfully create a lazy string" 1 | |
9325cb04 PK |
297 | gdb_test "python print (snstr.length)" "0" "Test lazy string length" |
298 | gdb_test "python print (snstr.address)" "0" "Test lazy string address" | |
be759fcf PM |
299 | } |
300 | ||
301 | ||
5374244e PM |
302 | proc test_inferior_function_call {} { |
303 | global gdb_prompt hex decimal | |
304 | ||
305 | # Correct inferior call without arguments. | |
306 | gdb_test "p/x fp1" " = $hex.*" | |
307 | gdb_py_test_silent_cmd "python fp1 = gdb.history (0)" "get value from history" 1 | |
308 | gdb_test "python fp1 = fp1.dereference()" "" | |
309 | gdb_test "python result = fp1()" "" | |
9325cb04 | 310 | gdb_test "python print (result)" "void" |
5374244e PM |
311 | |
312 | # Correct inferior call with arguments. | |
313 | gdb_test "p/x fp2" " = $hex.*" | |
314 | gdb_py_test_silent_cmd "python fp2 = gdb.history (0)" "get value from history" 1 | |
315 | gdb_test "python fp2 = fp2.dereference()" "" | |
316 | gdb_test "python result2 = fp2(10,20)" "" | |
9325cb04 | 317 | gdb_test "python print (result2)" "30" |
5374244e PM |
318 | |
319 | # Incorrect to call an int value. | |
320 | gdb_test "p i" " = $decimal.*" | |
321 | gdb_py_test_silent_cmd "python i = gdb.history (0)" "get value from history" 1 | |
322 | gdb_test "python result3 = i()" ".*Value is not callable.*" | |
323 | ||
324 | # Incorrect number of arguments. | |
325 | gdb_test "p/x fp2" " = $hex.*" | |
326 | gdb_py_test_silent_cmd "python fp3 = gdb.history (0)" "get value from history" 1 | |
327 | gdb_test "python fp3 = fp3.dereference()" "" | |
328 | gdb_test "python result2 = fp3(10)" ".*Too few arguments in function call.*" | |
329 | } | |
330 | ||
89c73ade TT |
331 | # A few objfile tests. |
332 | proc test_objfiles {} { | |
9325cb04 | 333 | 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 | 334 | "py-value in file.filename" |
89c73ade | 335 | |
9325cb04 | 336 | gdb_test "python print (gdb.objfiles()\[0\].pretty_printers)" "\\\[\\\]" |
89c73ade TT |
337 | |
338 | gdb_test "python gdb.objfiles()\[0\].pretty_printers = 0" \ | |
339 | "pretty_printers attribute must be a list.*Error while executing Python code." | |
340 | } | |
a08702d6 | 341 | |
2c74e833 TT |
342 | proc test_value_after_death {} { |
343 | # Construct a type while the inferior is still running. | |
344 | gdb_py_test_silent_cmd "python ptrtype = gdb.lookup_type('PTR')" \ | |
345 | "create PTR type" 1 | |
346 | ||
347 | # Kill the inferior and remove the symbols. | |
348 | gdb_test "kill" "" "kill the inferior" \ | |
349 | "Kill the program being debugged. .y or n. $" \ | |
350 | "y" | |
351 | gdb_test "file" "" "Discard the symbols" \ | |
352 | "Discard symbol table from.*y or n. $" \ | |
353 | "y" | |
354 | ||
355 | # Now create a value using that type. Relies on arg0, created by | |
356 | # test_value_in_inferior. | |
357 | gdb_py_test_silent_cmd "python castval = arg0.cast(ptrtype.pointer())" \ | |
358 | "cast arg0 to PTR" 1 | |
359 | ||
360 | # Make sure the type is deleted. | |
361 | gdb_py_test_silent_cmd "python ptrtype = None" \ | |
362 | "delete PTR type" 1 | |
363 | ||
364 | # Now see if the value's type is still valid. | |
9325cb04 | 365 | gdb_test "python print (castval.type)" "PTR ." \ |
2c74e833 TT |
366 | "print value's type" |
367 | } | |
368 | ||
2e4d963f PM |
369 | # Regression test for invalid subscript operations. The bug was that |
370 | # the type of the value was not being checked before allowing a | |
371 | # subscript operation to proceed. | |
372 | ||
db8e4570 | 373 | proc test_subscript_regression {exefile lang} { |
2e4d963f | 374 | # Start with a fresh gdb. |
d54b30bb | 375 | clean_restart ${exefile} |
2e4d963f PM |
376 | |
377 | if ![runto_main ] then { | |
378 | perror "couldn't run to breakpoint" | |
379 | return | |
380 | } | |
381 | ||
382 | if {$lang == "c++"} { | |
383 | gdb_breakpoint [gdb_get_line_number "break to inspect pointer by reference"] | |
384 | gdb_continue_to_breakpoint "break to inspect pointer by reference" | |
385 | ||
386 | gdb_py_test_silent_cmd "print rptr_int" \ | |
387 | "Obtain address" 1 | |
388 | gdb_py_test_silent_cmd "python rptr = gdb.history(0)" \ | |
389 | "Obtains value from GDB" 1 | |
9325cb04 | 390 | gdb_test "python print (rptr\[0\])" "2" "Check pointer passed as reference" |
f9ffd4bb TT |
391 | |
392 | # Just the most basic test of dynamic_cast -- it is checked in | |
393 | # the C++ tests. | |
9325cb04 | 394 | gdb_test "python print (bool(gdb.parse_and_eval('base').dynamic_cast(gdb.lookup_type('Derived').pointer())))" \ |
f9ffd4bb | 395 | True |
03f17ccf TT |
396 | |
397 | # Likewise. | |
9325cb04 | 398 | gdb_test "python print (gdb.parse_and_eval('base').dynamic_type)" \ |
03f17ccf TT |
399 | "Derived \[*\]" |
400 | # A static type case. | |
9325cb04 | 401 | gdb_test "python print (gdb.parse_and_eval('5').dynamic_type)" \ |
03f17ccf | 402 | "int" |
2e4d963f PM |
403 | } |
404 | ||
405 | gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] | |
406 | gdb_continue_to_breakpoint "break to inspect struct and union" | |
407 | ||
408 | gdb_py_test_silent_cmd "python intv = gdb.Value(1)" \ | |
409 | "Create a value for subscript test" 1 | |
410 | gdb_py_test_silent_cmd "python stringv = gdb.Value(\"foo\")" \ | |
411 | "Create a value for subscript test" 1 | |
412 | ||
413 | # Try to access an int with a subscript. This should fail. | |
9325cb04 PK |
414 | gdb_test "python print (intv)" "1" "Baseline print of a Python value" |
415 | gdb_test "python print (intv\[0\])" "gdb.error: Cannot subscript requested type.*" \ | |
2e4d963f PM |
416 | "Attempt to access an integer with a subscript" |
417 | ||
418 | # Try to access a string with a subscript. This should pass. | |
9325cb04 PK |
419 | gdb_test "python print (stringv)" "foo." "Baseline print of a Python value" |
420 | gdb_test "python print (stringv\[0\])" "f." "Attempt to access a string with a subscript" | |
2e4d963f PM |
421 | |
422 | # Try to access an int array via a pointer with a subscript. This should pass. | |
423 | gdb_py_test_silent_cmd "print p" "Build pointer to array" 1 | |
424 | gdb_py_test_silent_cmd "python pointer = gdb.history(0)" "" 1 | |
9325cb04 PK |
425 | gdb_test "python print (pointer\[0\])" "1" "Access array via pointer with int subscript" |
426 | gdb_test "python print (pointer\[intv\])" "2" "Access array via pointer with value subscript" | |
2e4d963f PM |
427 | |
428 | # Try to access a single dimension array with a subscript to the | |
429 | # result. This should fail. | |
9325cb04 | 430 | gdb_test "python print (pointer\[intv\]\[0\])" "gdb.error: Cannot subscript requested type.*" \ |
2e4d963f PM |
431 | "Attempt to access an integer with a subscript" |
432 | ||
433 | # Lastly, test subscript access to an array with multiple | |
434 | # dimensions. This should pass. | |
435 | gdb_py_test_silent_cmd "print {\"fu \",\"foo\",\"bar\"}" "Build array" 1 | |
436 | gdb_py_test_silent_cmd "python marray = gdb.history(0)" "" 1 | |
9325cb04 | 437 | gdb_test "python print (marray\[1\]\[2\])" "o." "Test multiple subscript" |
2e4d963f PM |
438 | } |
439 | ||
57a1d736 TT |
440 | # A few tests of gdb.parse_and_eval. |
441 | proc test_parse_and_eval {} { | |
9325cb04 | 442 | gdb_test "python print (gdb.parse_and_eval ('23'))" "23" \ |
57a1d736 | 443 | "parse_and_eval constant test" |
9325cb04 | 444 | gdb_test "python print (gdb.parse_and_eval ('5 + 7'))" "12" \ |
57a1d736 | 445 | "parse_and_eval simple expression test" |
9325cb04 PK |
446 | gdb_test "python print (type(gdb.parse_and_eval ('5 + 7')))" \ |
447 | ".(type|class) 'gdb.Value'."\ | |
57a1d736 TT |
448 | "parse_and_eval type test" |
449 | } | |
450 | ||
88d4aea7 PM |
451 | # Test that values are hashable. |
452 | proc test_value_hash {} { | |
453 | gdb_py_test_multiple "Simple Python value dictionary" \ | |
454 | "python" "" \ | |
455 | "one = gdb.Value(1)" "" \ | |
456 | "two = gdb.Value(2)" "" \ | |
457 | "three = gdb.Value(3)" "" \ | |
458 | "vdict = {one:\"one str\",two:\"two str\",three:\"three str\"}" "" \ | |
459 | "end" | |
9325cb04 PK |
460 | gdb_test "python print (vdict\[one\])" "one str" "Test dictionary hash" |
461 | gdb_test "python print (vdict\[two\])" "two str" "Test dictionary hash" | |
462 | gdb_test "python print (vdict\[three\])" "three str" "Test dictionary hash" | |
463 | gdb_test "python print (one.__hash__() == hash(one))" "True" "Test inbuilt hash" | |
88d4aea7 PM |
464 | } |
465 | ||
db8e4570 UW |
466 | # Build C and C++ versions of executable |
467 | build_inferior "${binfile}" "c" | |
468 | build_inferior "${binfile}-cxx" "c++" | |
88d4aea7 | 469 | |
a08702d6 | 470 | # Start with a fresh gdb. |
d54b30bb | 471 | clean_restart ${binfile} |
a08702d6 | 472 | |
f6bbabf0 PM |
473 | # Skip all tests if Python scripting is not enabled. |
474 | if { [skip_python_tests] } { continue } | |
a08702d6 TJB |
475 | |
476 | test_value_creation | |
477 | test_value_numeric_ops | |
478 | test_value_boolean | |
479 | test_value_compare | |
89c73ade | 480 | test_objfiles |
57a1d736 | 481 | test_parse_and_eval |
88d4aea7 | 482 | test_value_hash |
adc13a14 PA |
483 | |
484 | # The following tests require execution. | |
485 | ||
486 | if ![runto_main] then { | |
487 | fail "Can't run to main" | |
488 | return 0 | |
489 | } | |
490 | ||
a08702d6 | 491 | test_value_in_inferior |
5374244e | 492 | test_inferior_function_call |
be759fcf | 493 | test_lazy_strings |
2c74e833 | 494 | test_value_after_death |
2e4d963f | 495 | |
db8e4570 UW |
496 | # Test either C or C++ values. |
497 | test_subscript_regression "${binfile}" "c" | |
498 | test_subscript_regression "${binfile}-cxx" "c++" |