simple.exp revision 1.1.1.5
1# Copyright (C) 2016-2023 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# Test expression parsing and evaluation that requires Rust compiler. 17 18load_lib rust-support.exp 19if {[skip_rust_tests]} { 20 return 21} 22 23standard_testfile .rs 24if {[prepare_for_testing "failed to prepare" $testfile $srcfile {debug rust}]} { 25 return -1 26} 27 28set line [gdb_get_line_number "set breakpoint here"] 29if {![runto ${srcfile}:$line]} { 30 untested "could not run to breakpoint" 31 return -1 32} 33 34gdb_test "print a" " = \\(\\)" 35gdb_test "ptype a" " = \\(\\)" 36gdb_test "print sizeof(a)" " = 0" 37 38gdb_test "print b" " = \\\[\\\]" 39gdb_test "ptype b" " = \\\[i32; 0\\\]" 40gdb_test "print *(&b as *const \[i32; 0\])" " = \\\[\\\]" 41gdb_test "print *(&b as *const \[i32; 0_0\])" " = \\\[\\\]" 42 43gdb_test "print c" " = 99" 44gdb_test "ptype c" " = i32" 45gdb_test "print sizeof(c)" " = 4" 46 47gdb_test "print c = 87" " = \\(\\)" 48gdb_test "print c" " = 87" "print after assignment" 49gdb_test "print c += 3" " = \\(\\)" 50gdb_test "print c" " = 90" "print after plus assignment" 51gdb_test "print c -= 90" " = \\(\\)" 52gdb_test "print c" " = 0" "print after minus assignment" 53gdb_test "print *&c" " = 0" 54gdb_test "print *(&c as &i32)" " = 0" 55gdb_test "print *(&c as *const i32)" " = 0" 56gdb_test "print *(&c as *mut i32)" " = 0" 57gdb_test "ptype &c as *mut i32" "\\*mut i32" 58 59gdb_test "print/c f\[0\]" " = 104 'h'" 60 61gdb_test "print j" " = simple::Unit" 62gdb_test "ptype j" " = struct simple::Unit" 63gdb_test "print j2" " = simple::Unit" 64gdb_test "ptype j2" " = struct simple::Unit" 65gdb_test "print simple::Unit" " = simple::Unit" 66gdb_test "print simple::Unit{}" " = simple::Unit" 67gdb_test "print simple::Unit{23}" "'}', '\.\.', or identifier expected" 68 69gdb_test "print f" " = \"hi bob\"" 70gdb_test "print fslice" " = \"bob\"" 71gdb_test "print &f\[3..\]" " = \"bob\"" 72 73gdb_test "print g" " = \\(\\*mut \\\[u8; 6\\\]\\) $hex b\"hi bob\"" 74gdb_test "ptype g" " = \\*mut \\\[u8; 6\\\]" 75 76gdb_test "print v" " = simple::Something::Three" 77gdb_test_sequence "ptype v" "" { 78 " = enum simple::Something \\{" 79 " One," 80 " Two," 81 " Three," 82 "\\}" 83} 84 85gdb_test "print w" " = \\\[1, 2, 3, 4\\\]" 86gdb_test "ptype w" " = \\\[i32; 4\\\]" 87gdb_test "print w\[2\]" " = 3" 88gdb_test "print w\[2\] @ 2" " = \\\[3, 4\\\]" 89gdb_test "print w_ptr\[2\]" " = 3" 90gdb_test "print fromslice" " = 3" 91gdb_test "print slice\[0\]" " = 3" 92gdb_test "print (slice as &\[i32\])\[0\]" " = 3" 93 94gdb_test "print slice as \[i32; 73.9\]" "integer expected" 95 96gdb_test_sequence "ptype slice" "" { 97 " = struct &\\\[i32\\\] \\{" 98 " data_ptr: \\*mut i32," 99 " length: usize," 100 "\\}" 101} 102gdb_test_sequence "ptype &slice\[..\]" "" { 103 " = struct &\\\[i32\\\] \\{" 104 " data_ptr: \\*mut i32," 105 " length: usize," 106 "\\}" 107} 108gdb_test_sequence "ptype &b\[..\]" "" { 109 " = struct &\\\[\\*gdb\\*\\\] \\{" 110 " data_ptr: \\*mut i32," 111 " length: usize," 112 "\\}" 113} 114 115gdb_test "print x" " = \\(23, 25\\.5\\)" 116gdb_test "ptype x" " = \\(i32, f64\\)" 117gdb_test "print x as (i32,f64)" " = \\(23, 25\\.5\\)" 118 119gdb_test "print y" " = simple::HiBob \\{field1: 7, field2: 8\\}" 120gdb_test_sequence "ptype y" "" { 121 " = struct simple::HiBob \\{" 122 " field1: i32," 123 " field2: u64," 124 "\\}" 125} 126gdb_test "print y.field2" " = 8" 127 128gdb_test "print z" " = simple::ByeBob \\(7, 8\\)" 129gdb_test_sequence "ptype z" "" { 130 " = struct simple::ByeBob \\(" 131 " i32," 132 " u64," 133 "\\)" 134} 135gdb_test "print z.1" " = 8" 136 137# Some error checks. 138gdb_test "print z.1_0" \ 139 "'_' not allowed in integers in anonymous field references" 140gdb_test "print z.mut" "field name expected" 141 142gdb_test "print univariant" " = simple::Univariant::Foo{a: 1}" 143gdb_test "print univariant.a" " = 1" 144gdb_test "print univariant_anon" " = simple::UnivariantAnon::Foo\\(1\\)" 145gdb_test "print univariant_anon.0" " = 1" 146gdb_test "print univariant_anon.sss" \ 147 "Attempting to access named field sss of tuple variant simple::UnivariantAnon::Foo, which has only anonymous fields" 148 149gdb_test_sequence "ptype simple::Univariant" "" { 150 "type = enum simple::Univariant \\{" 151 " Foo\\{a: u8\\}," 152 "\\}" 153} 154 155gdb_test_sequence "ptype simple::UnivariantAnon" "" { 156 "type = enum simple::UnivariantAnon \\{" 157 " Foo\\(u8\\)," 158 "\\}" 159} 160 161gdb_test_sequence "ptype simple::ByeBob" "" { 162 " = struct simple::ByeBob \\(" 163 " i32," 164 " u64," 165 "\\)" 166} 167gdb_test "print simple::ByeBob(0xff, 5)" \ 168 " = simple::ByeBob \\(255, 5\\)" 169gdb_test "print simple::ByeBob\{field1: 0xff, field2:5\}" \ 170 "Struct expression applied to non-struct type" 171 172gdb_test "print simple::HiBob(0xff, 5)" \ 173 "Type simple::HiBob is not a tuple struct" 174gdb_test "print sizeof(simple::HiBob)" " = \[0-9\]+" 175gdb_test "print simple::HiBob + 5" \ 176 "Attempt to use a type name as an expression" 177gdb_test "print nosuchsymbol" \ 178 "No symbol 'nosuchsymbol' in current context" 179 180gdb_test "print simple::HiBob{field1, field2}" \ 181 " = simple::HiBob \\{field1: 77, field2: 88\\}" 182 183gdb_test "print simple::HiBob{field1: 99, .. y}" \ 184 " = simple::HiBob \\{field1: 99, field2: 8\\}" 185 186gdb_test "print e" " = simple::MoreComplicated::Two\\(73\\)" 187gdb_test "print e2" \ 188 " = simple::MoreComplicated::Four\\{this: true, is: 8, a: 109 'm', struct_: 100, variant: 10\\}" 189gdb_test "print sizeof(e)" " = 24" 190gdb_test_sequence "ptype e" "" { 191 " = enum simple::MoreComplicated \\{" 192 " One," 193 " Two\\(i32\\)," 194 " Three\\(simple::HiBob\\)," 195 " Four\\{this: bool, is: u8, a: char, struct_: u64, variant: u32\\}," 196 "\\}" 197} 198 199# Test a parser error. 200gdb_test "print sizeof e" "'\\(' expected" 201 202gdb_test "print e.0" " = 73" 203gdb_test "print e.1" \ 204 "Cannot access field 1 of variant simple::MoreComplicated::Two, there are only 1 fields" 205gdb_test "print e.foo" \ 206 "Attempting to access named field foo of tuple variant simple::MoreComplicated::Two, which has only anonymous fields" 207 208gdb_test "print e2.variant" " = 10" 209gdb_test "print e2.notexist" \ 210 "Could not find field notexist of struct variant simple::MoreComplicated::Four" 211gdb_test "print e2.0" \ 212 "Variant simple::MoreComplicated::Four is not a tuple variant" 213 214set pass_pattern " = simple::SpaceSaver::Nothing" 215set xfail_pattern " = simple::SpaceSaver::Thebox\\($decimal, 0x0\\)" 216gdb_test_multiple "print k" "" { 217 -re "\[\r\n\]*(?:$pass_pattern)\[\r\n\]+$gdb_prompt $" { 218 pass $gdb_test_name 219 } 220 -re "\[\r\n\]*(?:$xfail_pattern)\[\r\n\]+$gdb_prompt $" { 221 xfail $gdb_test_name 222 } 223} 224gdb_test "print l" " = simple::SpaceSaver::Thebox\\(9, $hex\\)" 225gdb_test "print *l.1" " = 1729" 226 227gdb_test "print diff2(3, 7)" " = -4" 228gdb_test "print self::diff2(8, 9)" " = -1" 229gdb_test "print ::diff2(23, -23)" " = 46" 230 231gdb_test "ptype diff2" "fn \\(i32, i32\\) -> i32" 232gdb_test "ptype empty" "fn \\(\\)" 233 234gdb_test "print (diff2 as fn(i32, i32) -> i32)(19, -2)" " = 21" 235 236gdb_test "print diff2(73, 74 75" "',' or '\\\)' expected" 237gdb_test "print (diff2 as fn i32, i32) -> i32)(19, -2)" "'\\\(' expected" 238gdb_test "print (diff2 as fn (i32, i32) i32)(19, -2)" "'->' expected" 239 240gdb_test "print \"hello rust\"" " = \"hello rust.*\"" 241gdb_test "print \"hello" "Unexpected EOF in string" 242gdb_test "print r##\"hello \" rust\"##" " = \"hello \\\\\" rust.*\"" 243gdb_test "print r\"hello" "Unexpected EOF in string" 244gdb_test "print r###\"###hello\"" "Unexpected EOF in string" 245gdb_test "print r###\"###hello\"##" "Unexpected EOF in string" 246gdb_test "print r###\"hello###" "Unexpected EOF in string" 247 248gdb_test "print 0..5" " = .*::ops::Range.* \\{start: 0, end: 5\\}" 249gdb_test "print 0..=5" " = .*::ops::RangeInclusive.* \\{start: 0, end: 5\\}" 250gdb_test "print ..5" " = .*::ops::RangeTo.* \\{end: 5\\}" 251gdb_test "print ..=5" " = .*::ops::RangeToInclusive.* \\{end: 5\\}" 252gdb_test "print 5.." " = .*::ops::RangeFrom.* \\{start: 5\\}" 253gdb_test "print .." " = .*::ops::RangeFull" 254 255set pass_pattern \ 256 " = core::option::Option<\[a-z\]+::string::String>::Some\\(\[a-z\]+::string::String .*" 257set xfail_pattern \ 258 "( = <error reading variable>|That operation is not available on .*)" 259gdb_test_multiple "print str_some" "" { 260 -re "\[\r\n\]*(?:$pass_pattern)\[\r\n\]+$gdb_prompt $" { 261 pass $gdb_test_name 262 } 263 -re "\[\r\n\]*(?:$xfail_pattern)\[\r\n\]+$gdb_prompt $" { 264 xfail $gdb_test_name 265 } 266} 267 268set pass_pattern " = core::option::Option<\[a-z\]+::string::String>::None" 269gdb_test_multiple "print str_none" "" { 270 -re "\[\r\n\]*(?:$pass_pattern)\[\r\n\]+$gdb_prompt $" { 271 pass $gdb_test_name 272 } 273 -re "\[\r\n\]*(?:$xfail_pattern)\[\r\n\]+$gdb_prompt $" { 274 xfail $gdb_test_name 275 } 276} 277 278gdb_test "print int_some" " = core::option::Option<u8>::Some\\(1\\)" 279gdb_test "print int_none" " = core::option::Option<u8>::None" 280# The result expressions are a bit lax here, to handle the fact that 281# the output varies between Rust versions. Mostly we just want to 282# check for the presence "Option", "Box", "u8", and either "Some" or 283# "None". 284gdb_test "print box_some" \ 285 " = core::option::Option<\[a-z:\]*Box<u8.*>>::Some\\(.*\\)" 286gdb_test "print box_none" \ 287 " = core::option::Option<\[a-z:\]*Box<u8.*>>::None" 288 289set pass_pattern \ 290 " = simple::NonZeroOptimized::Value\\(\[a-z\]+::string::String .*" 291gdb_test_multiple "print custom_some" "" { 292 -re "\[\r\n\]*(?:$pass_pattern)\[\r\n\]+$gdb_prompt $" { 293 pass $gdb_test_name 294 } 295 -re "\[\r\n\]*(?:$xfail_pattern)\[\r\n\]+$gdb_prompt $" { 296 xfail $gdb_test_name 297 } 298} 299 300set pass_pattern " = simple::NonZeroOptimized::Empty" 301gdb_test_multiple "print custom_none" "" { 302 -re "\[\r\n\]*(?:$pass_pattern)\[\r\n\]+$gdb_prompt $" { 303 pass $gdb_test_name 304 } 305 -re "\[\r\n\]*(?:$xfail_pattern)\[\r\n\]+$gdb_prompt $" { 306 xfail $gdb_test_name 307 } 308} 309 310gdb_test "print st" \ 311 " = simple::StringAtOffset {field1: \"hello\", field2: 1, field3: \"world\"}" 312 313proc test_one_slice {svar length base range} { 314 with_test_prefix $range { 315 global hex 316 317 # Just accept any array here. 318 set result " = &\\\[.*\\\] \\\[.*\\\]" 319 320 gdb_test "print $svar" $result 321 gdb_test "print &${base}\[${range}\]" $result 322 } 323} 324 325test_one_slice slice 1 w 2..3 326test_one_slice slice 1 w 2..=2 327test_one_slice slice2 1 slice 0..1 328test_one_slice slice2 1 slice 0..=0 329 330test_one_slice all1 4 w .. 331test_one_slice all2 1 slice .. 332 333test_one_slice from1 3 w 1.. 334test_one_slice from2 0 slice 1.. 335 336test_one_slice to1 3 w ..3 337test_one_slice to1 3 w ..=2 338test_one_slice to2 1 slice ..1 339test_one_slice to2 1 slice ..=0 340 341gdb_test "print w\[2..3\]" "Can't take slice of array without '&'" 342 343 344gdb_test_sequence "complete print y.f" "" \ 345 {"print y.field1" "print y.field2"} 346gdb_test_sequence "complete print y." "" \ 347 {"print y.field1" "print y.field2"} 348 349# Unimplemented, but we can at least test the parser productions. 350gdb_test "print (1,2,3)" "Tuple expressions not supported yet" 351gdb_test "print (1,)" "Tuple expressions not supported yet" 352gdb_test "print (1)" " = 1" 353 354# Test a syntax error in tuple expressions. 355gdb_test "print (1,2,," "unexpected token" 356gdb_test "print (1,2 8" "',' or '\\\)' expected" 357 358gdb_test "print 23..97.0" "Range expression with different types" 359 360gdb_test "print (*parametrized.next.val)" \ 361 " = simple::ParametrizedStruct<i32> {next: simple::ParametrizedEnum<\[a-z:\]*Box<simple::ParametrizedStruct<i32>.*>>::Empty, value: 1}" 362gdb_test "print parametrized.next.val" \ 363 " = \\(\\*mut simple::ParametrizedStruct<i32>\\) $hex" 364gdb_test "print parametrized" \ 365 " = simple::ParametrizedStruct<i32> \\{next: simple::ParametrizedEnum<\[a-z:\]*Box<simple::ParametrizedStruct<i32>.*>>::Val\\{val: $hex\\}, value: 0\\}" 366 367gdb_test_sequence "ptype/o SimpleLayout" "" { 368 "/\\* offset | size \\*/ type = struct simple::SimpleLayout {" 369 "/\\* 0 | 2 \\*/ f1: u16," 370 "/\\* 2 | 2 \\*/ f2: u16," 371 "" 372 " /\\* total size \\(bytes\\): 4 \\*/" 373 " }" 374} 375 376gdb_test "print nonzero_offset" " = simple::EnumWithNonzeroOffset {a: core::option::Option<u8>::Some\\(1\\), b: core::option::Option<u8>::None}" 377 378# PR rust/23626 - this used to crash. Note that the results are 379# fairly lax because most existing versions of Rust (those before the 380# DW_TAG_variant patches) do not emit what gdb wants here; and there 381# was little point fixing gdb to cope with these cases as the fixed 382# compilers will be available soon 383gdb_test "print empty_enum_value" \ 384 " = simple::EmptyEnum.*" 385gdb_test "ptype empty_enum_value" "simple::EmptyEnum.*" 386# Just make sure these don't crash, for the same reason. 387gdb_test "print empty_enum_value.0" "" 388gdb_test "print empty_enum_value.something" "" 389 390load_lib gdb-python.exp 391if {[skip_python_tests]} { 392 return 393} 394 395gdb_test "python print(gdb.lookup_type('simple::HiBob'))" "simple::HiBob" 396 397gdb_test_no_output "python e = gdb.parse_and_eval('e')" \ 398 "get value of e for python" 399gdb_test "python print(len(e.type.fields()))" "2" 400gdb_test "python print(e.type.fields()\[0\].artificial)" "True" 401gdb_test "python print(e.type.fields()\[1\].name)" "Two" 402 403gdb_test "python print(e.type.dynamic)" "False" 404 405# Before LLVM 8, the rust compiler would emit two types named 406# "simple::MoreComplicated" -- the C-like "underlying" enum type and 407# the Rust enum. lookup_type seems to get the former, which isn't 408# very useful. With later versions of LLVM, this test works 409# correctly. 410set v [split [rust_llvm_version] .] 411if {[lindex $v 0] >= 8} { 412 gdb_test "python print(gdb.lookup_type('simple::MoreComplicated').dynamic)" \ 413 "True" 414} 415 416# The new parser introduced an operator precedence bug. 417gdb_test "print 5 * 7 / 5" " = 7" 418gdb_test "print 4 - 3 - 1" " = 0" 419 420# Another operator precedence bug. 421gdb_test "print \$one = \$two = 75" " = \\\(\\\)" 422