Commit | Line | Data |
---|---|---|
67218854 TT |
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" | |
921d8f54 | 152 | gdb_test "ptype empty" "fn \\(\\)" |
67218854 TT |
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 | ||
fccb08f8 MG |
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 | ||
67218854 TT |
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" |