gdb/testsuite/gdb.rust/simple.exp

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