]>
Commit | Line | Data |
---|---|---|
e2882c85 | 1 | # Copyright (C) 2009-2018 Free Software Foundation, Inc. |
bfd31e71 PM |
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 | # of exposing types to Python. | |
18 | ||
a2c09bd0 DE |
19 | load_lib gdb-python.exp |
20 | ||
b4a58790 | 21 | standard_testfile |
bfd31e71 | 22 | |
4c93b1db | 23 | if [get_compiler_info c++] { |
ae59b1da | 24 | return -1 |
999adef4 DE |
25 | } |
26 | ||
bfd31e71 | 27 | # Build inferior to language specification. |
db8e4570 UW |
28 | proc build_inferior {exefile lang} { |
29 | global srcdir subdir srcfile testfile hex | |
bfd31e71 | 30 | |
db8e4570 | 31 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${exefile}" executable "debug $lang"] != "" } { |
84c93cd5 | 32 | untested "failed to compile in $lang mode" |
bfd31e71 PM |
33 | return -1 |
34 | } | |
e019fd1d SM |
35 | |
36 | return 0 | |
bfd31e71 PM |
37 | } |
38 | ||
f6bbabf0 | 39 | # Restart GDB. |
db8e4570 UW |
40 | proc restart_gdb {exefile} { |
41 | global srcdir subdir srcfile testfile hex | |
bfd31e71 PM |
42 | |
43 | gdb_exit | |
44 | gdb_start | |
45 | gdb_reinitialize_dir $srcdir/$subdir | |
db8e4570 | 46 | gdb_load ${exefile} |
bfd31e71 PM |
47 | |
48 | if ![runto_main ] then { | |
49 | perror "couldn't run to breakpoint" | |
50 | return | |
51 | } | |
f6bbabf0 | 52 | } |
bfd31e71 | 53 | |
f6bbabf0 PM |
54 | # Set breakpoint and run to that breakpoint. |
55 | proc runto_bp {bp} { | |
bfd31e71 PM |
56 | gdb_breakpoint [gdb_get_line_number $bp] |
57 | gdb_continue_to_breakpoint $bp | |
58 | } | |
59 | ||
bfd31e71 | 60 | proc test_fields {lang} { |
6d67b990 AB |
61 | with_test_prefix "test_fields" { |
62 | global gdb_prompt | |
bfd31e71 | 63 | |
6d67b990 | 64 | # .fields() of a typedef should still return the underlying field list |
9325cb04 | 65 | gdb_test "python print (len(gdb.parse_and_eval('ts').type.fields()))" "2" \ |
6d67b990 | 66 | "$lang typedef field list" |
f6b47be4 | 67 | |
6d67b990 | 68 | if {$lang == "c++"} { |
bfd31e71 | 69 | # Test usage with a class |
8f28f522 | 70 | gdb_py_test_silent_cmd "print (c)" "print value (c)" 1 |
6d67b990 AB |
71 | gdb_py_test_silent_cmd "python c = gdb.history (0)" "get value (c) from history" 1 |
72 | gdb_py_test_silent_cmd "python fields = c.type.fields()" "get fields from c.type" 1 | |
cdc7edd7 LM |
73 | gdb_test "python print (len(fields))" "2" "check number of fields (c)" |
74 | gdb_test "python print (fields\[0\].name)" "c" "check class field c name" | |
75 | gdb_test "python print (fields\[1\].name)" "d" "check class field d name" | |
d839c8a4 | 76 | |
9325cb04 PK |
77 | gdb_test "python print (c.type == gdb.parse_and_eval('d').type)" "False" |
78 | gdb_test "python print (c.type == gdb.parse_and_eval('d').type.fields()\[0\].type)" \ | |
d839c8a4 | 79 | "True" |
bed91f4d SM |
80 | |
81 | # Test fields of a method (its parameters) | |
82 | gdb_test "python print (len (gdb.parse_and_eval ('C::a_method').type.fields ()))" "3" | |
83 | gdb_test "python print (gdb.parse_and_eval ('C::a_method').type.fields ()\[0\].type)" "C \\* const" | |
84 | gdb_test "python print (gdb.parse_and_eval ('C::a_method').type.fields ()\[1\].type)" "int" | |
85 | gdb_test "python print (gdb.parse_and_eval ('C::a_method').type.fields ()\[2\].type)" "char" | |
86 | ||
87 | gdb_test "python print (len (gdb.parse_and_eval ('C::a_const_method').type.fields ()))" "3" | |
88 | gdb_test "python print (gdb.parse_and_eval ('C::a_const_method').type.fields ()\[0\].type)" "const C \\* const" | |
89 | gdb_test "python print (gdb.parse_and_eval ('C::a_const_method').type.fields ()\[1\].type)" "int" | |
90 | gdb_test "python print (gdb.parse_and_eval ('C::a_const_method').type.fields ()\[2\].type)" "char" | |
91 | ||
92 | gdb_test "python print (len (gdb.parse_and_eval ('C::a_static_method').type.fields ()))" "2" | |
93 | gdb_test "python print (gdb.parse_and_eval ('C::a_static_method').type.fields ()\[0\].type)" "int" | |
94 | gdb_test "python print (gdb.parse_and_eval ('C::a_static_method').type.fields ()\[1\].type)" "char" | |
6d67b990 | 95 | } |
bfd31e71 | 96 | |
6d67b990 | 97 | # Test normal fields usage in structs. |
8f28f522 | 98 | gdb_py_test_silent_cmd "print (st)" "print value (st)" 1 |
6d67b990 AB |
99 | gdb_py_test_silent_cmd "python st = gdb.history (0)" "get value (st) from history" 1 |
100 | gdb_py_test_silent_cmd "python fields = st.type.fields()" "get fields from st.type" 1 | |
cdc7edd7 LM |
101 | gdb_test "python print (len(fields))" "2" "check number of fields (st)" |
102 | gdb_test "python print (fields\[0\].name)" "a" "check structure field a name" | |
103 | gdb_test "python print (fields\[1\].name)" "b" "check structure field b name" | |
6d67b990 | 104 | |
b5b08fb4 SC |
105 | # Test that unamed fields have 'None' for name. |
106 | gdb_py_test_silent_cmd "python ss = gdb.parse_and_eval('ss')" "init ss" 1 | |
107 | gdb_py_test_silent_cmd "python ss_fields = ss.type.fields()" \ | |
108 | "get fields from ss.type" 1 | |
cdc7edd7 | 109 | gdb_test "python print(len(ss_fields))" "2" "check length of ss_fields" |
d7fc3181 | 110 | gdb_test "python print(ss_fields\[0\].name is None)" "True" \ |
b5b08fb4 | 111 | "Check ss_fields\[0\].name" |
d7fc3181 | 112 | gdb_test "python print(ss_fields\[1\].name is None)" "True" \ |
b5b08fb4 | 113 | "Check ss_fields\[1\].name" |
6d67b990 AB |
114 | # Regression test for |
115 | # http://sourceware.org/bugzilla/show_bug.cgi?id=12070. | |
9325cb04 | 116 | gdb_test "python print ('type' in dir(fields\[0\]))" "True" \ |
6d67b990 AB |
117 | "Check that dir includes name" |
118 | ||
119 | # Test Python mapping behavior of gdb.Type for structs/classes | |
cdc7edd7 LM |
120 | gdb_test "python print (len(st.type))" "2" "check number of fields (st.type)" |
121 | gdb_test "python print (st.type\['a'\].name)" "a" "check fields lookup by name" | |
9325cb04 PK |
122 | gdb_test "python print (\[v.bitpos for v in st.type.itervalues()\])" {\[0L?, 32L?\]} "Check fields iteration over values" |
123 | gdb_test "python print (\[(n, v.bitpos) for (n, v) in st.type.items()\])" {\[\('a', 0L?\), \('b', 32L?\)\]} "Check fields items list" | |
cdc7edd7 LM |
124 | gdb_test "python print ('a' in st.type)" "True" "check field name exists test" |
125 | gdb_test "python print ('nosuch' in st.type)" "False" "check field name nonexists test" | |
126 | gdb_test "python print (not not st.type)" "True" "check conversion to bool" | |
6d67b990 AB |
127 | |
128 | # Test rejection of mapping operations on scalar types | |
bed91f4d SM |
129 | gdb_test "python print (len (st.type\['a'\].type))" "TypeError: Type is not a structure, union, enum, or function type.*" |
130 | gdb_test "python print (st.type\['a'\].type.has_key ('x'))" "TypeError: Type is not a structure, union, enum, or function type.*" | |
131 | gdb_test "python print (st.type\['a'\].type\['x'\])" "TypeError: Type is not a structure, union, enum, or function type.*" | |
132 | gdb_test "python print (st.type\['a'\].type.keys ())" "TypeError: Type is not a structure, union, enum, or function type.*" | |
6d67b990 AB |
133 | |
134 | # Test conversion to bool on scalar types | |
9325cb04 | 135 | gdb_test "python print (not not st.type\['a'\].type)" "True" |
7a81bdbf | 136 | |
6d67b990 | 137 | # Test regression PR python/10805 |
8f28f522 | 138 | gdb_py_test_silent_cmd "print (ar)" "print value (ar)" 1 |
6d67b990 AB |
139 | gdb_py_test_silent_cmd "python ar = gdb.history (0)" "get value (ar) from history" 1 |
140 | gdb_test "python fields = ar.type.fields()" | |
cdc7edd7 LM |
141 | gdb_test "python print (len(fields))" "1" "check the number of fields" |
142 | gdb_test "python print (fields\[0\].type)" "<range type>" "check array field type" | |
6d67b990 AB |
143 | |
144 | # Test gdb.Type.array. | |
9325cb04 | 145 | gdb_test "python print (ar\[0\].cast(ar\[0\].type.array(1)))" \ |
6d67b990 | 146 | ".1, 2." "cast to array with one argument" |
8f28f522 | 147 | gdb_test "python print (ar\[0\].cast(ar\[0\].type.array(0, 1)))" \ |
6d67b990 AB |
148 | ".1, 2." "cast to array with two arguments" |
149 | ||
9325cb04 | 150 | gdb_test "python print (ar\[0\].type == ar\[0\].type)" "True" |
6d67b990 AB |
151 | |
152 | # Test gdb.Type.vector. | |
153 | # Note: vectors cast differently than arrays. Here ar[0] is replicated | |
154 | # for the size of the vector. | |
8f28f522 | 155 | gdb_py_test_silent_cmd "print (vec_data_1)" "print value (vec_data_1)" 1 |
8954db33 AB |
156 | gdb_py_test_silent_cmd "python vec_data_1 = gdb.history (0)" "get value (vec_data_1) from history" 1 |
157 | ||
8f28f522 | 158 | gdb_py_test_silent_cmd "print (vec_data_2)" "print value (vec_data_2)" 1 |
8954db33 AB |
159 | gdb_py_test_silent_cmd "python vec_data_2 = gdb.history (0)" "get value (vec_data_2) from history" 1 |
160 | ||
161 | gdb_py_test_silent_cmd "python vec1 = vec_data_1.cast(ar\[0\].type.vector(1))" "set vec1" 1 | |
8f28f522 | 162 | gdb_test "python print (vec1)" ".1, 1." "cast to vector with one argument" |
8954db33 | 163 | gdb_py_test_silent_cmd "python vec2 = vec_data_1.cast(ar\[0\].type.vector(0, 1))" "set vec2" 1 |
8f28f522 PM |
164 | gdb_test "python print (vec2)" ".1, 1." "cast to vector with two arguments" |
165 | gdb_test "python print (vec1 == vec2)" "True" | |
8954db33 | 166 | gdb_py_test_silent_cmd "python vec3 = vec_data_2.cast(ar\[0\].type.vector(1))" "set vec3" 1 |
8f28f522 | 167 | gdb_test "python print (vec1 == vec3)" "False" |
bed91f4d SM |
168 | |
169 | # Test fields of a function (its parameters) | |
170 | gdb_test "python print (len (gdb.parse_and_eval ('a_function').type.fields ()))" "2" | |
171 | gdb_test "python print (gdb.parse_and_eval ('a_function').type.fields ()\[0\].type)" "int" | |
172 | gdb_test "python print (gdb.parse_and_eval ('a_function').type.fields ()\[1\].type)" "char" | |
6d67b990 | 173 | } |
bfd31e71 PM |
174 | } |
175 | ||
7a81bdbf | 176 | proc test_enums {} { |
6d67b990 | 177 | with_test_prefix "test_enum" { |
8f28f522 PM |
178 | gdb_py_test_silent_cmd "print (e)" "print value (e)" 1 |
179 | gdb_py_test_silent_cmd "python (e) = gdb.history (0)" "get value (e) from history" 1 | |
6d67b990 | 180 | gdb_py_test_silent_cmd "python fields = e.type.fields()" "extract type fields from e" 1 |
cdc7edd7 LM |
181 | gdb_test "python print (len(fields))" "3" "check the number of enum fields" |
182 | gdb_test "python print (fields\[0\].name)" "v1" "check enum field\[0\] name" | |
183 | gdb_test "python print (fields\[1\].name)" "v2" "check enum field\[1\]name" | |
6d67b990 AB |
184 | |
185 | # Ditto but by mapping operations | |
cdc7edd7 LM |
186 | gdb_test "python print (len(e.type))" "3" "check the number of type fields" |
187 | gdb_test "python print (e.type\['v1'\].name)" "v1" "check enum field lookup by name (v1)" | |
188 | gdb_test "python print (e.type\['v3'\].name)" "v3" "check enum field lookup by name (v3)" | |
9325cb04 PK |
189 | gdb_test "python print (\[v.enumval for v in e.type.itervalues()\])" {\[0L?, 1L?, 2L?\]} "Check num fields iteration over values" |
190 | gdb_test "python print (\[(n, v.enumval) for (n, v) in e.type.items()\])" {\[\('v1', 0L?\), \('v2', 1L?\), \('v3', 2L?\)\]} "Check enum fields items list" | |
6d67b990 | 191 | } |
7a81bdbf | 192 | } |
3cd14e45 | 193 | |
bfd31e71 | 194 | proc test_base_class {} { |
6d67b990 | 195 | with_test_prefix "test_base_class" { |
8f28f522 | 196 | gdb_py_test_silent_cmd "print (d)" "print value (d)" 1 |
6d67b990 AB |
197 | gdb_py_test_silent_cmd "python d = gdb.history (0)" "get value (d) from history" 1 |
198 | gdb_py_test_silent_cmd "python fields = d.type.fields()" "extract type fields from d" 1 | |
cdc7edd7 LM |
199 | gdb_test "python print (len(fields))" "3" "check the number of fields" |
200 | gdb_test "python print (fields\[0\].is_base_class)" "True" "check base class (fields\[0\])" | |
201 | gdb_test "python print (fields\[1\].is_base_class)" "False" "check base class (fields\[1\])" | |
6d67b990 | 202 | } |
bfd31e71 PM |
203 | } |
204 | ||
361ae042 | 205 | proc test_range {} { |
6d67b990 AB |
206 | with_test_prefix "test_range" { |
207 | with_test_prefix "on ranged value" { | |
208 | # Test a valid range request. | |
8f28f522 | 209 | gdb_py_test_silent_cmd "print (ar)" "print value (ar)" 1 |
6d67b990 | 210 | gdb_py_test_silent_cmd "python ar = gdb.history (0)" "get value (ar) from history" 1 |
cdc7edd7 LM |
211 | gdb_test "python print (len(ar.type.range()))" "2" "check correct tuple length" |
212 | gdb_test "python print (ar.type.range()\[0\])" "0" "check range low bound" | |
213 | gdb_test "python print (ar.type.range()\[1\])" "1" "check range high bound" | |
6d67b990 AB |
214 | } |
215 | ||
216 | with_test_prefix "on ranged type" { | |
217 | # Test a range request on a ranged type. | |
8f28f522 | 218 | gdb_py_test_silent_cmd "print (ar)" "print value (ar)" 1 |
6d67b990 AB |
219 | gdb_py_test_silent_cmd "python ar = gdb.history (0)" "get value (ar) from history" 1 |
220 | gdb_py_test_silent_cmd "python fields = ar.type.fields()" "get fields" 1 | |
cdc7edd7 LM |
221 | gdb_test "python print (fields\[0\].type.range()\[0\])" "0" "check range low bound" |
222 | gdb_test "python print (fields\[0\].type.range()\[1\])" "1" "check range high bound" | |
6d67b990 | 223 | } |
361ae042 | 224 | |
6d67b990 AB |
225 | with_test_prefix "on unranged value" { |
226 | # Test where a range does not exist. | |
8f28f522 | 227 | gdb_py_test_silent_cmd "print (st)" "print value (st)" 1 |
6d67b990 | 228 | gdb_py_test_silent_cmd "python st = gdb.history (0)" "get value (st) from history" 1 |
cdc7edd7 | 229 | gdb_test "python print (st.type.range())" "RuntimeError: This type does not have a range.*" "check range for non ranged type." |
6d67b990 AB |
230 | } |
231 | } | |
361ae042 PM |
232 | } |
233 | ||
326fd672 TT |
234 | # Some tests of template arguments. |
235 | proc test_template {} { | |
236 | gdb_py_test_silent_cmd \ | |
237 | "python ttype = gdb.parse_and_eval('temvar').type" \ | |
238 | "get type of temvar" \ | |
239 | 1 | |
240 | ||
9325cb04 PK |
241 | gdb_test "python print (ttype.template_argument(0))" "D" |
242 | gdb_test "python print (isinstance(ttype.template_argument(0), gdb.Type))" \ | |
326fd672 | 243 | "True" |
999adef4 | 244 | |
326fd672 | 245 | # The next two tests require a GCC that emits DW_TAG_template_*. |
999adef4 DE |
246 | # GCC 4.4 does not emit it, 4.5 and 6 do emit it. |
247 | set have_older_gcc 0 | |
248 | if {[test_compiler_info {gcc-[0-3]-*}] | |
249 | || [test_compiler_info {gcc-4-[0-4]-*}]} { | |
250 | set have_older_gcc 1 | |
251 | } | |
252 | if $have_older_gcc { setup_xfail *-*-* } | |
9325cb04 | 253 | gdb_test "python print (ttype.template_argument(1))" "23" |
999adef4 | 254 | if $have_older_gcc { setup_xfail *-*-* } |
9325cb04 | 255 | gdb_test "python print (isinstance(ttype.template_argument(1), gdb.Value))" \ |
326fd672 | 256 | "True" |
999adef4 | 257 | |
72225e17 JK |
258 | if {[test_compiler_info {gcc-[0-3]-*}] |
259 | || [test_compiler_info {gcc-4-[0-5]-*}]} { | |
260 | setup_xfail "gcc/46955" *-*-* | |
261 | } | |
9325cb04 | 262 | gdb_test "python print (ttype.template_argument(2))" "&C::c" |
326fd672 | 263 | } |
361ae042 | 264 | |
bfd31e71 | 265 | # Perform C Tests. |
e019fd1d SM |
266 | if { [build_inferior "${binfile}" "c"] == 0 } { |
267 | restart_gdb "${binfile}" | |
7d1bf85c | 268 | |
e019fd1d SM |
269 | # Skip all tests if Python scripting is not enabled. |
270 | if { [skip_python_tests] } { continue } | |
7d1bf85c | 271 | |
e019fd1d SM |
272 | gdb_test "python print(gdb.lookup_type('char').array(1, 0))" \ |
273 | "char \\\[0\\\]" | |
8503d6e1 | 274 | |
e019fd1d SM |
275 | gdb_test "python print(gdb.lookup_type('char').array(1, -1))" \ |
276 | "Array length must not be negative.*" | |
8503d6e1 | 277 | |
e019fd1d SM |
278 | gdb_test "python print(gdb.lookup_type('int').optimized_out())" \ |
279 | "<optimized out>" | |
59fb7612 | 280 | |
e019fd1d SM |
281 | with_test_prefix "lang_c" { |
282 | runto_bp "break to inspect struct and array." | |
283 | test_fields "c" | |
284 | test_enums | |
285 | } | |
6d67b990 | 286 | } |
bfd31e71 | 287 | |
e019fd1d | 288 | |
bfd31e71 | 289 | # Perform C++ Tests. |
e019fd1d SM |
290 | if { [build_inferior "${binfile}-cxx" "c++"] == 0 } { |
291 | restart_gdb "${binfile}-cxx" | |
292 | with_test_prefix "lang_cpp" { | |
293 | runto_bp "break to inspect struct and array." | |
294 | test_fields "c++" | |
295 | test_base_class | |
296 | test_range | |
297 | test_template | |
298 | test_enums | |
299 | } | |
6d67b990 | 300 | } |