1# Copyright (C) 2008-2020 Free Software Foundation, Inc. 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 19load_lib gdb-python.exp 20 21standard_testfile 22 23set has_argv0 [gdb_has_argv0] 24 25# Build inferior to language specification. 26# LANG is one of "c" or "c++". 27proc build_inferior {exefile lang} { 28 global srcdir subdir srcfile testfile hex 29 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"] != "" } { 42 untested "failed to compile in $lang mode" 43 return -1 44 } 45 return 0 46} 47 48proc test_value_creation {} { 49 global gdb_prompt 50 global gdb_py_is_py3k 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 54 if { $gdb_py_is_py3k == 0 } { 55 gdb_py_test_silent_cmd "python i = gdb.Value (5L)" "create long value" 1 56 } 57 58 gdb_py_test_silent_cmd "python l = gdb.Value(0xffffffff12345678)" "create large unsigned 64-bit value" 1 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 } 64 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 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" 69 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 } 75 76 # Test address attribute is None in a non-addressable value 77 gdb_test "python print ('result = %s' % i.address)" "= None" "test address attribute in non-addressable value" 78} 79 80proc test_value_numeric_ops {} { 81 global gdb_prompt 82 global gdb_py_is_py3k 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 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" 99 # Remainder of float is implemented in Python but not in GDB's value system. 100 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" 103 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" 110 111 # Test gdb.Value mixed with Python types. 112 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" 116 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" 119 120 # Conversion test. 121 gdb_test "print evalue" " = TWO" 122 gdb_test_no_output "python evalue = gdb.history (0)" 123 gdb_test "python print (int (evalue))" "2" 124 125 # Test pointer arithmethic 126 127 # First, obtain the pointers 128 gdb_test "print (void *) 2" ".*" "" 129 gdb_test_no_output "python a = gdb.history (0)" "" 130 gdb_test "print (void *) 5" ".*" "" 131 gdb_test_no_output "python b = gdb.history (0)" "" 132 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 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" 141 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" 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 } 150 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 158 # Test some invalid operations. 159 160 gdb_test_multiple "python print ('result = ' + str(i+'foo'))" "catch error in python type conversion" { 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 166 gdb_test_multiple "python print ('result = ' + str(i+gdb.Value('foo')))" "catch throw of GDB error" { 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 173proc test_value_boolean {} { 174 # First, define a useful function to test booleans. 175 gdb_test_multiline "define function to test booleans" \ 176 "python" "" \ 177 "def test_bool (val):" "" \ 178 " if val:" "" \ 179 " print ('yay')" "" \ 180 " else:" "" \ 181 " print ('nay')" "" \ 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 192 gdb_test "py test_bool (gdb.Value (5.2))" "yay" "check evaluation of true float value in expression" 193 194 gdb_test "py test_bool (gdb.Value (0.0))" "nay" "check evaluation of false float value in expression" 195} 196 197proc test_value_compare {} { 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" 227} 228 229proc test_value_in_inferior {} { 230 global gdb_prompt 231 global testfile 232 global gdb_py_is_py3k 233 234 gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] 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 240 gdb_py_test_silent_cmd "python s = gdb.history (0)" "get value s from history" 1 241 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 } 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 252 gdb_py_test_silent_cmd "python argv = gdb.history (0)" "" 0 253 gdb_py_test_silent_cmd "python arg0 = argv.dereference ()" "dereference value" 1 254 255 # Check that the dereferenced value is sane 256 global has_argv0 257 set test "verify dereferenced value" 258 if { $has_argv0 } { 259 gdb_test_no_output "set print elements unlimited" "" 260 gdb_test_no_output "set print repeats unlimited" "" 261 gdb_test "python print (arg0)" "0x.*$testfile\"" $test 262 } else { 263 unsupported $test 264 } 265 266 # Smoke-test is_optimized_out attribute 267 gdb_test "python print ('result = %s' % arg0.is_optimized_out)" "= False" "test is_optimized_out attribute" 268 269 # Test address attribute 270 gdb_test "python print ('result = %s' % arg0.address)" "= 0x\[\[:xdigit:\]\]+" "test address attribute" 271 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. 275 set can_read_0 [is_address_zero_readable] 276 277 # Test memory error. 278 set test "parse_and_eval with memory error" 279 if {$can_read_0} { 280 untested $test 281 } else { 282 gdb_test "python print (gdb.parse_and_eval('*(int*)0'))" "gdb.MemoryError: Cannot access memory at address 0x0.*" $test 283 } 284 285 # Test Python lazy value handling 286 set test "memory error and lazy values" 287 if {$can_read_0} { 288 untested $test 289 } else { 290 gdb_test "python inval = gdb.parse_and_eval('*(int*)0')" 291 gdb_test "python print (inval.is_lazy)" "True" 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" 298 } 299 set argc_value [get_integer_valueof "argc" 0] 300 gdb_test "python argc_lazy = gdb.parse_and_eval('argc')" 301 gdb_test "python argc_notlazy = gdb.parse_and_eval('argc')" 302 gdb_test "python argc_notlazy.fetch_lazy()" 303 gdb_test "python print (argc_lazy.is_lazy)" "True" \ 304 "python print (argc_lazy.is_lazy) the first time" 305 gdb_test "python print (argc_notlazy.is_lazy)" "False" 306 gdb_test "print argc" " = $argc_value" "sanity check argc" 307 gdb_test "python print (argc_lazy.is_lazy)" "\r\nTrue" \ 308 "python print (argc_lazy.is_lazy) the second time" 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]" 312 gdb_test "python print (argc_lazy.is_lazy)" "False" 313 314 # Test string fetches, both partial and whole. 315 gdb_test "print st" "\"divide et impera\"" 316 gdb_py_test_silent_cmd "python st = gdb.history (0)" "get value st from history" 1 317 gdb_test "python print (st.string ())" "divide et impera" "Test string with no length" 318 gdb_test "python print (st.string (length = -1))" "divide et impera" "test string (length = -1) is all of the string" 319 gdb_test "python print (st.string (length = 6))" "divide" 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" 322 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" 330 331 # Fetch a string that has embedded nulls. 332 gdb_test "print nullst" "\"divide\\\\000et\\\\000impera\".*" 333 gdb_py_test_silent_cmd "python nullst = gdb.history (0)" "get value nullst from history" 1 334 gdb_test "python print (nullst.string ())" "divide" "test string to first null" 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 338 gdb_test "python print (repr(nullst))" "u?'divide\\\\x00et'" 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 343 gdb_test "python print(xstr\['text'\].string (length = xstr\['length'\]))" "x{100}" \ 344 "read string beyond declared size" 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." 351} 352 353proc test_inferior_function_call {} { 354 global gdb_prompt hex decimal 355 356 # Correct inferior call without arguments. 357 gdb_test "p/x fp1" " = $hex.*" 358 gdb_py_test_silent_cmd "python fp1 = gdb.history (0)" "get value fp1 from history" 1 359 gdb_test "python fp1 = fp1.dereference()" "" 360 gdb_test "python result = fp1()" "" 361 gdb_test "python print (result)" "void" 362 363 # Correct inferior call with arguments. 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 367 gdb_test "python fp2 = fp2.dereference()" "" 368 gdb_test "python result2 = fp2(10,20)" "" 369 gdb_test "python print (result2)" "30" 370 371 # Incorrect to call an int value. 372 gdb_test "p i" " = $decimal.*" 373 gdb_py_test_silent_cmd "python i = gdb.history (0)" "get value i from history" 1 374 gdb_test "python result3 = i()" ".*Value is not callable.*" 375 376 # Incorrect number of arguments. 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 380 gdb_test "python fp3 = fp3.dereference()" "" 381 gdb_test "python result2 = fp3(10)" ".*Too few arguments in function call.*" 382} 383 384# A few objfile tests. 385proc test_objfiles {} { 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" \ 387 "py-value in file.filename" 388 389 gdb_test "python print (gdb.objfiles()\[0\].pretty_printers)" "\\\[\\\]" 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} 394 395proc 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" 404 gdb_test "file" "" "discard the symbols" \ 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. 418 gdb_test "python print (castval.type)" "PTR ." \ 419 "print value's type" 420} 421 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 426proc test_subscript_regression {exefile lang} { 427 # Start with a fresh gdb. 428 clean_restart ${exefile} 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 443 gdb_test "python print (rptr\[0\])" "2" "check pointer passed as reference" 444 445 # Just the most basic test of dynamic_cast -- it is checked in 446 # the C++ tests. 447 gdb_test "python print (bool(gdb.parse_and_eval('base').dynamic_cast(gdb.lookup_type('Derived').pointer())))" \ 448 True 449 450 # Likewise. 451 gdb_test "python print (gdb.parse_and_eval('base').dynamic_type)" \ 452 "Derived \[*\]" 453 gdb_test "python print (gdb.parse_and_eval('base_ref').dynamic_type)" \ 454 "Derived \[&\]" 455 # A static type case. 456 gdb_test "python print (gdb.parse_and_eval('5').dynamic_type)" \ 457 "int" 458 } 459 460 gdb_breakpoint [gdb_get_line_number "break to inspect struct and union"] 461 gdb_continue_to_breakpoint \ 462 "break to inspect struct and union for subscript regression test" 463 464 gdb_py_test_silent_cmd "python intv = gdb.Value(1)" \ 465 "Create value intv for subscript test" 1 466 gdb_py_test_silent_cmd "python stringv = gdb.Value(\"foo\")" \ 467 "Create value stringv for subscript test" 1 468 469 # Try to access an int with a subscript. This should fail. 470 gdb_test "python print (intv)" "1" "baseline print of an int Python value" 471 gdb_test "python print (intv\[0\])" "gdb.error: Cannot subscript requested type.*" \ 472 "Attempt to access an integer with a subscript" 473 474 # Try to access a string with a subscript. This should pass. 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" 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 480 gdb_py_test_silent_cmd "python pointer = gdb.history(0)" "fetch pointer" 0 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" 483 484 # Try to access a single dimension array with a subscript to the 485 # result. This should fail. 486 gdb_test "python print (pointer\[intv\]\[0\])" "gdb.error: Cannot subscript requested type.*" \ 487 "Attempt to access a single dimension array with a two subscripts" 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 492 gdb_py_test_silent_cmd "python marray = gdb.history(0)" "fetch marray" 0 493 gdb_test "python print (marray\[1\]\[2\])" "o." "test multiple subscript" 494} 495 496# A few tests of gdb.parse_and_eval. 497proc test_parse_and_eval {} { 498 gdb_test "python print (gdb.parse_and_eval ('23'))" "23" \ 499 "parse_and_eval constant test" 500 gdb_test "python print (gdb.parse_and_eval ('5 + 7'))" "12" \ 501 "parse_and_eval simple expression test" 502 gdb_test "python print (type(gdb.parse_and_eval ('5 + 7')))" \ 503 ".(type|class) 'gdb.Value'."\ 504 "parse_and_eval type test" 505} 506 507# Test that values are hashable. 508proc test_value_hash {} { 509 gdb_test_multiline "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" 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" 519 gdb_test "python print (one.__hash__() == hash(one))" "True" "test inbuilt hash" 520} 521 522proc 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 534proc 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)" \ 554 "ValueError: Size of type is larger than that of buffer object\..*" \ 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 578# Build C version of executable. C++ is built later. 579if { [build_inferior "${binfile}" "c"] < 0 } { 580 return -1 581} 582 583# Start with a fresh gdb. 584clean_restart ${binfile} 585 586# Skip all tests if Python scripting is not enabled. 587if { [skip_python_tests] } { continue } 588 589test_value_creation 590test_value_numeric_ops 591test_value_boolean 592test_value_compare 593test_objfiles 594test_parse_and_eval 595test_value_hash 596test_float_conversion 597 598# The following tests require execution. 599 600if ![runto_main] then { 601 fail "can't run to main" 602 return 0 603} 604 605test_value_in_inferior 606test_value_from_buffer 607test_inferior_function_call 608test_value_after_death 609 610# Test either C or C++ values. 611 612test_subscript_regression "${binfile}" "c" 613 614if ![skip_cplus_tests] { 615 if { [build_inferior "${binfile}-cxx" "c++"] < 0 } { 616 return -1 617 } 618 with_test_prefix "c++" { 619 test_subscript_regression "${binfile}-cxx" "c++" 620 } 621} 622