gdb/testsuite/gdb.rust/simple.exp

   1 # Copyright (C) 2016 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 ${testfile}.exp $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 $testfile
  31     return -1
  32 }
  33
  34 gdb_test "print a" " = \\(\\)"
  35 gdb_test "ptype a" " = \\(\\)"
  36
  37 gdb_test "print b" " = \\\[\\\]"
  38 gdb_test "ptype b" " = \\\[i32; 0\\\]"
  39 gdb_test "print *(&b as *const \[i32; 0\])" " = \\\[\\\]"
  40 gdb_test "print *(&b as *const \[i32; 0_0\])" " = \\\[\\\]"
  41
  42 gdb_test "print c" " = 99"
  43 gdb_test "ptype c" " = i32"
  44
  45 gdb_test "print c = 87" " = \\(\\)"
  46 gdb_test "print c" " = 87"
  47 gdb_test "print c += 3" " = \\(\\)"
  48 gdb_test "print c" " = 90"
  49 gdb_test "print c -= 90" " = \\(\\)"
  50 gdb_test "print c" " = 0"
  51 gdb_test "print *&c" " = 0"
  52 gdb_test "print *(&c as &i32)" " = 0"
  53 gdb_test "print *(&c as *const i32)" " = 0"
  54 gdb_test "print *(&c as *mut i32)" " = 0"
  55
  56 gdb_test "print j" " = simple::Unit"
  57 gdb_test "ptype j" " = struct simple::Unit"
  58 gdb_test "print simple::Unit" " = simple::Unit"
  59
  60 gdb_test "print g" " = \\(u8 \\(\\*\\)\\\[6\\\]\\) $hex b\"hi bob\""
  61 gdb_test "ptype g" " = u8 \\(\\*\\)\\\[6\\\]"
  62
  63 gdb_test "print v" " = simple::Something::Three"
  64 gdb_test_sequence "ptype v" "" {
  65     " = enum simple::Something \\{"
  66     "  One,"
  67     "  Two,"
  68     "  Three,"
  69     "\\}"
  70 }
  71
  72 gdb_test "print w" " = \\\[1, 2, 3, 4\\\]"
  73 gdb_test "ptype w" " = \\\[i32; 4\\\]"
  74 gdb_test "print w\[2\]" " = 3"
  75 gdb_test "print w\[2\] @ 2" " = \\\[3, 4\\\]"
  76 gdb_test "print fromslice" " = 3"
  77 gdb_test "print slice\[0\]" " = 3"
  78 gdb_test "print slice as &\[i32\]\[0\]" " = 3"
  79
  80 gdb_test "print x" " = \\(23, 25\\.5\\)"
  81 gdb_test "ptype x" " = \\(i32, f64\\)"
  82 gdb_test "print x as (i32,f64)" " = \\(23, 25\\.5\\)"
  83
  84 gdb_test "print y" " = simple::HiBob \\{field1: 7, field2: 8\\}"
  85 gdb_test_sequence "ptype y" "" {
  86     " = struct simple::HiBob \\{"
  87     "  field1: i32,"
  88     "  field2: u64,"
  89     "\\}"
  90 }
  91 gdb_test "print y.field2" " = 8"
  92
  93 gdb_test "print z" " = simple::ByeBob \\(7, 8\\)"
  94 gdb_test_sequence "ptype z" "" {
  95     " = struct simple::ByeBob \\("
  96     "  i32,"
  97     "  u64,"
  98     "\\)"
  99 }
 100 gdb_test "print z.1" " = 8"
 101
 102 gdb_test_sequence "ptype simple::ByeBob" "" {
 103     " = struct simple::ByeBob \\("
 104     "  i32,"
 105     "  u64,"
 106     "\\)"
 107 }
 108 gdb_test "print simple::ByeBob(0xff, 5)" \
 109     " = simple::ByeBob \\(255, 5\\)"
 110 gdb_test "print simple::ByeBob\{field1: 0xff, field2:5\}" \
 111     "Struct expression applied to non-struct type"
 112
 113 gdb_test "print simple::HiBob(0xff, 5)" \
 114     "Type simple::HiBob is not a tuple struct"
 115 gdb_test "print nosuchsymbol" \
 116     "No symbol 'nosuchsymbol' in current context"
 117
 118 gdb_test "print e" " = simple::MoreComplicated::Two\\(73\\)"
 119 gdb_test "print e2" \
 120     " = simple::MoreComplicated::Four\\{this: true, is: 8, a: 109 'm', struct_: 100, variant: 10\\}"
 121
 122 gdb_test_sequence "ptype e" "" {
 123     " = enum simple::MoreComplicated \\{"
 124     "  One,"
 125     "  Two\\(i32\\),"
 126     "  Three\\(simple::HiBob\\),"
 127     "  Four\\{this: bool, is: u8, a: char, struct_: u64, variant: u32\\},"
 128     "\\}"
 129 }
 130
 131 gdb_test "print e.0" " = 73"
 132 gdb_test "print e.1" \
 133     "Cannot access field 1 of variant simple::MoreComplicated::Two, there are only 1 fields"
 134 gdb_test "print e.foo" \
 135     "Attempting to access named field foo of tuple variant simple::MoreComplicated::Two, which has only anonymous fields"
 136
 137 gdb_test "print e2.variant" " = 10"
 138 gdb_test "print e2.notexist" \
 139     "Could not find field notexist of struct variant simple::MoreComplicated::Four"
 140 gdb_test "print e2.0" \
 141     "Variant simple::MoreComplicated::Four is not a tuple variant"
 142
 143 gdb_test "print k" " = simple::SpaceSaver::Nothing"
 144 gdb_test "print l" " = simple::SpaceSaver::Thebox\\(9, $hex\\)"
 145 gdb_test "print *l.1" " = 1729"
 146
 147 gdb_test "print diff2(3, 7)" " = -4"
 148 gdb_test "print self::diff2(8, 9)" " = -1"
 149 gdb_test "print ::diff2(23, -23)" " = 46"
 150
 151 gdb_test "ptype diff2" "fn \\(i32, i32\\) -> i32"
 152 gdb_test "ptype empty" "fn \\(\\)"
 153
 154 gdb_test "print (diff2 as fn(i32, i32) -> i32)(19, -2)" " = 21"
 155
 156 # We need the ".*" because currently we don't extract the length and
 157 # use it to intelligently print the string data.
 158 gdb_test "print \"hello rust\"" \
 159     " = &str \\{data_ptr: $hex \"hello rust.*\", length: 10\\}"
 160 gdb_test "print \"hello" "Unexpected EOF in string"
 161 gdb_test "print r##\"hello \" rust\"##" \
 162     " = &str \\{data_ptr: $hex \"hello \\\\\" rust.*\", length: 12\\}"
 163 gdb_test "print r\"hello" "Unexpected EOF in string"
 164 gdb_test "print r###\"###hello\"" "Unexpected EOF in string"
 165 gdb_test "print r###\"###hello\"##" "Unexpected EOF in string"
 166 gdb_test "print r###\"hello###" "Unexpected EOF in string"
 167
 168 gdb_test "print 0..5" " = .*::ops::Range.* \\{start: 0, end: 5\\}"
 169 gdb_test "print ..5" " = .*::ops::RangeTo.* \\{end: 5\\}"
 170 gdb_test "print 5.." " = .*::ops::RangeFrom.* \\{start: 5\\}"
 171 gdb_test "print .." " = .*::ops::RangeFull"
 172
 173 gdb_test "print str_some" \
 174     " = core::option::Option<collections::string::String>::Some\\(collections::string::String .*"
 175 gdb_test "print str_none" " = core::option::Option<collections::string::String>::None"
 176 gdb_test "print int_some" " = core::option::Option::Some\\(1\\)"
 177 gdb_test "print int_none" " = core::option::Option::None"
 178 gdb_test "print box_some" " = core::option::Option<Box<u8>>::Some\\(.*\\)"
 179 gdb_test "print box_none" " = core::option::Option<Box<u8>>::None"
 180 gdb_test "print custom_some" \
 181     " = simple::NonZeroOptimized::Value\\(collections::string::String .*"
 182 gdb_test "print custom_none" " = simple::NonZeroOptimized::Empty"
 183
 184 proc test_one_slice {svar length base range} {
 185     global hex
 186
 187     set result " = &\\\[.*\\\] \\{data_ptr: $hex, length: $length\\}"
 188
 189     gdb_test "print $svar" $result
 190     gdb_test "print &${base}\[${range}\]" $result
 191 }
 192
 193 test_one_slice slice 1 w 2..3
 194 test_one_slice slice2 1 slice 0..1
 195
 196 test_one_slice all1 4 w ..
 197 test_one_slice all2 1 slice ..
 198
 199 test_one_slice from1 3 w 1..
 200 test_one_slice from2 0 slice 1..
 201
 202 test_one_slice to1 3 w ..3
 203 test_one_slice to2 1 slice ..1
 204
 205 gdb_test "print w\[2..3\]" "Can't take slice of array without '&'"
 206
 207
 208 gdb_test_sequence "complete print y.f" "" \
 209     {"print y.field1" "print y.field2"}
 210 gdb_test_sequence "complete print y." "" \
 211     {"print y.field1" "print y.field2"}
 212
 213 # Unimplemented, but we can at least test the parser productions.
 214 gdb_test "print (1,2,3)" "Tuple expressions not supported yet"
 215 gdb_test "print (1,)" "Tuple expressions not supported yet"
 216 gdb_test "print (1)" " = 1"
 217
 218 gdb_test "print 23..97.0" "Range expression with different types"