Commit | Line | Data |
---|---|---|
0fb0cc75 | 1 | # Copyright (C) 2008, 2009 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 | ||
19 | if $tracelevel then { | |
20 | strace $tracelevel | |
21 | } | |
22 | ||
5172aecb | 23 | set testfile "py-value" |
a08702d6 TJB |
24 | set srcfile ${testfile}.c |
25 | set binfile ${objdir}/${subdir}/${testfile} | |
26 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } { | |
27 | untested "Couldn't compile ${srcfile}" | |
28 | return -1 | |
29 | } | |
30 | ||
31 | # Usage: gdb_py_test_multiple NAME INPUT RESULT {INPUT RESULT}... | |
32 | # Run a test named NAME, consisting of multiple lines of input. | |
33 | # After each input line INPUT, search for result line RESULT. | |
34 | # Succeed if all results are seen; fail otherwise. | |
35 | proc gdb_py_test_multiple {name args} { | |
36 | global gdb_prompt | |
37 | foreach {input result} $args { | |
38 | if {[gdb_test_multiple $input "$name - $input" { | |
39 | -re "\[\r\n\]*($result)\[\r\n\]+($gdb_prompt | *>)$" { | |
40 | pass "$name - $input" | |
41 | } | |
42 | }]} { | |
43 | return 1 | |
44 | } | |
45 | } | |
46 | return 0 | |
47 | } | |
48 | ||
49 | # Run a command in GDB, and report a failure if a Python exception is thrown. | |
50 | # If report_pass is true, report a pass if no exception is thrown. | |
51 | proc gdb_py_test_silent_cmd {cmd name report_pass} { | |
52 | global gdb_prompt | |
53 | ||
54 | gdb_test_multiple $cmd $name { | |
55 | -re "Traceback.*$gdb_prompt $" { fail $name } | |
56 | -re "$gdb_prompt $" { if $report_pass { pass $name } } | |
57 | } | |
58 | } | |
59 | ||
60 | proc test_value_creation {} { | |
61 | global gdb_prompt | |
62 | ||
63 | gdb_py_test_silent_cmd "python i = gdb.Value (True)" "create boolean value" 1 | |
64 | gdb_py_test_silent_cmd "python i = gdb.Value (5)" "create integer value" 1 | |
65 | gdb_py_test_silent_cmd "python i = gdb.Value (5L)" "create long value" 1 | |
66 | gdb_py_test_silent_cmd "python f = gdb.Value (1.25)" "create double value" 1 | |
67 | gdb_py_test_silent_cmd "python a = gdb.Value ('string test')" "create 8-bit string value" 1 | |
68 | gdb_test "python print a" "\"string test\"" "print 8-bit string" | |
69 | gdb_test "python print a.__class__" "<type 'gdb.Value'>" "verify type of 8-bit string" | |
70 | gdb_py_test_silent_cmd "python a = gdb.Value (u'unicode test')" "create unicode value" 1 | |
71 | gdb_test "python print a" "\"unicode test\"" "print Unicode string" | |
72 | gdb_test "python print a.__class__" "<type 'gdb.Value'>" "verify type of unicode string" | |
c0c6f777 TJB |
73 | |
74 | # Test address attribute is None in a non-addressable value | |
75 | gdb_test "python print 'result =', i.address" "= None" "Test address attribute in non-addressable value" | |
a08702d6 TJB |
76 | } |
77 | ||
78 | proc test_value_numeric_ops {} { | |
79 | global gdb_prompt | |
80 | ||
81 | gdb_py_test_silent_cmd "python i = gdb.Value (5)" "create first integer value" 0 | |
82 | gdb_py_test_silent_cmd "python j = gdb.Value (2)" "create second integer value" 0 | |
83 | gdb_py_test_silent_cmd "python f = gdb.Value (1.25)" "create first double value" 0 | |
84 | gdb_py_test_silent_cmd "python g = gdb.Value (2.5)" "create second double value" 0 | |
85 | gdb_test "python print 'result = ' + str(i+j)" " = 7" "add two integer values" | |
86 | gdb_test "python print (i+j).__class__" "<type 'gdb.Value'>" "verify type of integer add result" | |
87 | ||
88 | gdb_test "python print 'result = ' + str(f+g)" " = 3.75" "add two double values" | |
89 | gdb_test "python print 'result = ' + str(i-j)" " = 3" "subtract two integer values" | |
90 | gdb_test "python print 'result = ' + str(f-g)" " = -1.25" "subtract two double values" | |
91 | gdb_test "python print 'result = ' + str(i*j)" " = 10" "multiply two integer values" | |
92 | gdb_test "python print 'result = ' + str(f*g)" " = 3.125" "multiply two double values" | |
93 | gdb_test "python print 'result = ' + str(i/j)" " = 2" "divide two integer values" | |
94 | gdb_test "python print 'result = ' + str(f/g)" " = 0.5" "divide two double values" | |
95 | gdb_test "python print 'result = ' + str(i%j)" " = 1" "take remainder of two integer values" | |
96 | # Remainder of float is implemented in Python but not in GDB's value system. | |
97 | ||
98 | gdb_test "python print 'result = ' + str(i**j)" " = 25" "integer value raised to the power of another integer value" | |
99 | gdb_test "python print 'result = ' + str(g**j)" " = 6.25" "double value raised to the power of integer value" | |
100 | ||
101 | gdb_test "python print 'result = ' + str(-i)" " = -5" "negated integer value" | |
102 | gdb_test "python print 'result = ' + str(+i)" " = 5" "positive integer value" | |
103 | gdb_test "python print 'result = ' + str(-f)" " = -1.25" "negated double value" | |
104 | gdb_test "python print 'result = ' + str(+f)" " = 1.25" "positive double value" | |
105 | gdb_test "python print 'result = ' + str(abs(j-i))" " = 3" "absolute of integer value" | |
106 | gdb_test "python print 'result = ' + str(abs(f-g))" " = 1.25" "absolute of double value" | |
107 | ||
108 | # Test gdb.Value mixed with Python types. | |
109 | ||
110 | gdb_test "python print 'result = ' + str(i-1)" " = 4" "subtract integer value from python integer" | |
111 | gdb_test "python print (i-1).__class__" "<type 'gdb.Value'>" "verify type of mixed integer subtraction result" | |
112 | gdb_test "python print 'result = ' + str(f+1.5)" " = 2.75" "add double value with python float" | |
113 | ||
114 | gdb_test "python print 'result = ' + str(1-i)" " = -4" "subtract python integer from integer value" | |
115 | gdb_test "python print 'result = ' + str(1.5+f)" " = 2.75" "add python float with double value" | |
116 | ||
08c637de TJB |
117 | # Conversion test. |
118 | gdb_test "print evalue" " = TWO" | |
119 | gdb_test "python evalue = gdb.history (0)" "" | |
120 | gdb_test "python print int (evalue)" "2" | |
121 | ||
a08702d6 TJB |
122 | # Test pointer arithmethic |
123 | ||
124 | # First, obtain the pointers | |
125 | gdb_test "print (void *) 2" "" "" | |
08c637de | 126 | gdb_test "python a = gdb.history (0)" "" "" |
a08702d6 | 127 | gdb_test "print (void *) 5" "" "" |
08c637de | 128 | gdb_test "python b = gdb.history (0)" "" "" |
a08702d6 TJB |
129 | |
130 | gdb_test "python print 'result = ' + str(a+5)" " = 0x7" "add pointer value with python integer" | |
131 | gdb_test "python print 'result = ' + str(b-2)" " = 0x3" "subtract python integer from pointer value" | |
132 | gdb_test "python print 'result = ' + str(b-a)" " = 3" "subtract two pointer values" | |
133 | ||
134 | # Test some invalid operations. | |
135 | ||
136 | gdb_test_multiple "python print 'result = ' + str(i+'foo')" "catch error in python type conversion" { | |
137 | -re "Argument to arithmetic operation not a number or boolean.*$gdb_prompt $" {pass "catch error in python type conversion"} | |
138 | -re "result = .*$gdb_prompt $" {fail "catch error in python type conversion"} | |
139 | -re "$gdb_prompt $" {fail "catch error in python type conversion"} | |
140 | } | |
141 | ||
142 | gdb_test_multiple "python print 'result = ' + str(i+gdb.Value('foo'))" "catch throw of GDB error" { | |
143 | -re "Traceback.*$gdb_prompt $" {pass "catch throw of GDB error"} | |
144 | -re "result = .*$gdb_prompt $" {fail "catch throw of GDB error"} | |
145 | -re "$gdb_prompt $" {fail "catch throw of GDB error"} | |
146 | } | |
147 | } | |
148 | ||
149 | proc test_value_boolean {} { | |
150 | # First, define a useful function to test booleans. | |
151 | gdb_py_test_multiple "define function to test booleans" \ | |
152 | "python" "" \ | |
153 | "def test_bool (val):" "" \ | |
154 | " if val:" "" \ | |
155 | " print 'yay'" "" \ | |
156 | " else:" "" \ | |
157 | " print 'nay'" "" \ | |
158 | "end" "" | |
159 | ||
160 | gdb_test "py test_bool (gdb.Value (True))" "yay" "check evaluation of true boolean value in expression" | |
161 | ||
162 | gdb_test "py test_bool (gdb.Value (False))" "nay" "check evaluation of false boolean value in expression" | |
163 | ||
164 | gdb_test "py test_bool (gdb.Value (5))" "yay" "check evaluation of true integer value in expression" | |
165 | ||
166 | gdb_test "py test_bool (gdb.Value (0))" "nay" "check evaluation of false integer value in expression" | |
167 | ||
168 | gdb_test "py test_bool (gdb.Value (5.2))" "yay" "check evaluation of true integer value in expression" | |
169 | ||
170 | gdb_test "py test_bool (gdb.Value (0.0))" "nay" "check evaluation of false integer value in expression" | |
171 | } | |
172 | ||
173 | proc test_value_compare {} { | |
174 | gdb_test "py print gdb.Value (1) < gdb.Value (1)" "False" "less than, equal" | |
175 | gdb_test "py print gdb.Value (1) < gdb.Value (2)" "True" "less than, less" | |
176 | gdb_test "py print gdb.Value (2) < gdb.Value (1)" "False" "less than, greater" | |
177 | gdb_test "py print gdb.Value (2) < None" "False" "less than, None" | |
178 | ||
179 | gdb_test "py print gdb.Value (1) <= gdb.Value (1)" "True" "less or equal, equal" | |
180 | gdb_test "py print gdb.Value (1) <= gdb.Value (2)" "True" "less or equal, less" | |
181 | gdb_test "py print gdb.Value (2) <= gdb.Value (1)" "False" "less or equal, greater" | |
182 | gdb_test "py print gdb.Value (2) <= None" "False" "less or equal, None" | |
183 | ||
184 | gdb_test "py print gdb.Value (1) == gdb.Value (1)" "True" "equality of gdb.Values" | |
185 | gdb_test "py print gdb.Value (1) == gdb.Value (2)" "False" "inequality of gdb.Values" | |
186 | gdb_test "py print gdb.Value (1) == 1.0" "True" "equality of gdb.Value with Python value" | |
187 | gdb_test "py print gdb.Value (1) == 2" "False" "inequality of gdb.Value with Python value" | |
188 | gdb_test "py print gdb.Value (1) == None" "False" "inequality of gdb.Value with None" | |
189 | ||
190 | gdb_test "py print gdb.Value (1) != gdb.Value (1)" "False" "inequality, false" | |
191 | gdb_test "py print gdb.Value (1) != gdb.Value (2)" "True" "inequality, true" | |
192 | gdb_test "py print gdb.Value (1) != None" "True" "inequality, None" | |
193 | ||
194 | gdb_test "py print gdb.Value (1) > gdb.Value (1)" "False" "greater than, equal" | |
195 | gdb_test "py print gdb.Value (1) > gdb.Value (2)" "False" "greater than, less" | |
196 | gdb_test "py print gdb.Value (2) > gdb.Value (1)" "True" "greater than, greater" | |
197 | gdb_test "py print gdb.Value (2) > None" "True" "greater than, None" | |
198 | ||
199 | gdb_test "py print gdb.Value (1) >= gdb.Value (1)" "True" "greater or equal, equal" | |
200 | gdb_test "py print gdb.Value (1) >= gdb.Value (2)" "False" "greater or equal, less" | |
201 | gdb_test "py print gdb.Value (2) >= gdb.Value (1)" "True" "greater or equal, greater" | |
202 | gdb_test "py print gdb.Value (2) >= None" "True" "greater or equal, None" | |
203 | } | |
204 | ||
205 | proc test_value_in_inferior {} { | |
206 | global gdb_prompt | |
207 | global testfile | |
208 | ||
209 | gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] | |
a08702d6 TJB |
210 | |
211 | gdb_continue_to_breakpoint "break to inspect struct and union" | |
212 | ||
213 | # Just get inferior variable s in the value history, available to python. | |
214 | gdb_test "print s" " = {a = 3, b = 5}" "" | |
215 | ||
08c637de | 216 | gdb_py_test_silent_cmd "python s = gdb.history (0)" "get value from history" 1 |
a08702d6 TJB |
217 | |
218 | gdb_test "python print 'result = ' + str(s\['a'\])" " = 3" "access element inside struct using 8-bit string name" | |
219 | gdb_test "python print 'result = ' + str(s\[u'a'\])" " = 3" "access element inside struct using unicode name" | |
220 | ||
221 | # Test dereferencing the argv pointer | |
222 | ||
223 | # Just get inferior variable argv the value history, available to python. | |
224 | gdb_test "print argv" " = \\(char \\*\\*\\) 0x.*" "" | |
225 | ||
08c637de | 226 | gdb_py_test_silent_cmd "python argv = gdb.history (0)" "" 0 |
a08702d6 TJB |
227 | gdb_py_test_silent_cmd "python arg0 = argv.dereference ()" "dereference value" 1 |
228 | ||
229 | # Check that the dereferenced value is sane | |
230 | gdb_test "python print arg0" "0x.*$testfile\"" "verify dereferenced value" | |
def2b000 TJB |
231 | |
232 | # Smoke-test is_optimized_out attribute | |
233 | gdb_test "python print 'result =', arg0.is_optimized_out" "= False" "Test is_optimized_out attribute" | |
c0c6f777 TJB |
234 | |
235 | # Test address attribute | |
236 | gdb_test "python print 'result =', arg0.address" "= 0x\[\[:xdigit:\]\]+" "Test address attribute" | |
fbb8f299 PM |
237 | |
238 | # Test string fetches, both partial and whole. | |
239 | gdb_test "print st" "\"divide et impera\"" | |
240 | gdb_py_test_silent_cmd "python st = gdb.history (0)" "get value from history" 1 | |
241 | gdb_test "python print st.string ()" "divide et impera" "Test string with no length" | |
242 | gdb_test "python print st.string (length = -1)" "divide et impera" "Test string (length = -1) is all of the string" | |
243 | gdb_test "python print st.string (length = 6)" "divide" | |
244 | gdb_test "python print \"---\"+st.string (length = 0)+\"---\"" "------" "Test string (length = 0) is empty" | |
245 | gdb_test "python print len(st.string (length = 0))" "0" "Test length is 0" | |
246 | ||
247 | ||
248 | # Fetch a string that has embedded nulls. | |
249 | gdb_test "print nullst" "\"divide\\\\000et\\\\000impera\".*" | |
250 | gdb_py_test_silent_cmd "python nullst = gdb.history (0)" "get value from history" 1 | |
251 | gdb_test "python print nullst.string ()" "divide" "Test string to first null" | |
252 | # Python cannot print strings that contain the null (\0) character. | |
253 | # For the purposes of this test, use repr() | |
254 | gdb_py_test_silent_cmd "python nullst = nullst.string (length = 9)" "get string beyond null" 1 | |
255 | gdb_test "python print repr(nullst)" "u'divide\\\\x00et'" | |
a08702d6 TJB |
256 | } |
257 | ||
89c73ade TT |
258 | # A few objfile tests. |
259 | proc test_objfiles {} { | |
5172aecb | 260 | gdb_test "python\nok=False\nfor file in gdb.objfiles():\n if 'py-value' in file.filename:\n ok=True\nprint ok\nend" "True" |
89c73ade TT |
261 | |
262 | gdb_test "python print gdb.objfiles()\[0\].pretty_printers" "\\\[\\\]" | |
263 | ||
264 | gdb_test "python gdb.objfiles()\[0\].pretty_printers = 0" \ | |
265 | "pretty_printers attribute must be a list.*Error while executing Python code." | |
266 | } | |
a08702d6 | 267 | |
2c74e833 TT |
268 | proc test_value_after_death {} { |
269 | # Construct a type while the inferior is still running. | |
270 | gdb_py_test_silent_cmd "python ptrtype = gdb.lookup_type('PTR')" \ | |
271 | "create PTR type" 1 | |
272 | ||
273 | # Kill the inferior and remove the symbols. | |
274 | gdb_test "kill" "" "kill the inferior" \ | |
275 | "Kill the program being debugged. .y or n. $" \ | |
276 | "y" | |
277 | gdb_test "file" "" "Discard the symbols" \ | |
278 | "Discard symbol table from.*y or n. $" \ | |
279 | "y" | |
280 | ||
281 | # Now create a value using that type. Relies on arg0, created by | |
282 | # test_value_in_inferior. | |
283 | gdb_py_test_silent_cmd "python castval = arg0.cast(ptrtype.pointer())" \ | |
284 | "cast arg0 to PTR" 1 | |
285 | ||
286 | # Make sure the type is deleted. | |
287 | gdb_py_test_silent_cmd "python ptrtype = None" \ | |
288 | "delete PTR type" 1 | |
289 | ||
290 | # Now see if the value's type is still valid. | |
291 | gdb_test "python print castval.type" "PTR ." \ | |
292 | "print value's type" | |
293 | } | |
294 | ||
a08702d6 TJB |
295 | # Start with a fresh gdb. |
296 | ||
297 | gdb_exit | |
298 | gdb_start | |
299 | gdb_reinitialize_dir $srcdir/$subdir | |
300 | gdb_load ${binfile} | |
301 | ||
302 | gdb_test_multiple "python print 'hello, world!'" "verify python support" { | |
303 | -re "not supported.*$gdb_prompt $" { | |
304 | unsupported "python support is disabled" | |
305 | return -1 | |
306 | } | |
307 | -re "$gdb_prompt $" {} | |
308 | } | |
309 | ||
310 | test_value_creation | |
311 | test_value_numeric_ops | |
312 | test_value_boolean | |
313 | test_value_compare | |
89c73ade | 314 | test_objfiles |
adc13a14 PA |
315 | |
316 | # The following tests require execution. | |
317 | ||
318 | if ![runto_main] then { | |
319 | fail "Can't run to main" | |
320 | return 0 | |
321 | } | |
322 | ||
a08702d6 | 323 | test_value_in_inferior |
2c74e833 | 324 | test_value_after_death |