1 # Copyright (C) 2009-2021 Free Software Foundation, Inc.
3 # This file is part of GDB.
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 3 of the License, or
8 # (at your option) any later version.
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with this program. If not, see <http://www.gnu.org/licenses/>.
23 """A class that allows us to store a flag name, its short name,
26 In the GDB sources, struct type has a component called instance_flags
27 in which the value is the addition of various flags. These flags are
28 defined by the enumerates type_instance_flag_value. This class helps us
29 recreate a list with all these flags that is easy to manipulate and sort.
30 Because all flag names start with TYPE_INSTANCE_FLAG_, a short_name
31 attribute is provided that strips this prefix.
34 name: The enumeration name (eg: "TYPE_INSTANCE_FLAG_CONST").
35 value: The associated value.
36 short_name: The enumeration name, with the suffix stripped.
39 def __init__(self
, name
, value
):
42 self
.short_name
= name
.replace("TYPE_INSTANCE_FLAG_", '')
44 def __lt__(self
, other
):
45 """Sort by value order."""
46 return self
.value
< other
.value
49 # A list of all existing TYPE_INSTANCE_FLAGS_* enumerations,
50 # stored as TypeFlags objects. Lazy-initialized.
54 class TypeFlagsPrinter
:
55 """A class that prints a decoded form of an instance_flags value.
57 This class uses a global named TYPE_FLAGS, which is a list of
58 all defined TypeFlag values. Using a global allows us to compute
61 This class relies on a couple of enumeration types being defined.
62 If not, then printing of the instance_flag is going to be degraded,
63 but it's not a fatal error.
66 def __init__(self
, val
):
71 if TYPE_FLAGS
is None:
72 self
.init_TYPE_FLAGS()
76 flag_list
= [flag
.short_name
for flag
in TYPE_FLAGS
77 if self
.val
& flag
.value
]
80 return "0x%x [%s]" % (self
.val
, "|".join(flag_list
))
82 def init_TYPE_FLAGS(self
):
83 """Initialize the TYPE_FLAGS global as a list of TypeFlag objects.
84 This operation requires the search of a couple of enumeration types.
85 If not found, a warning is printed on stdout, and TYPE_FLAGS is
86 set to the empty list.
88 The resulting list is sorted by increasing value, to facilitate
89 printing of the list of flags used in an instance_flags value.
94 iflags
= gdb
.lookup_type("enum type_instance_flag_value")
96 print("Warning: Cannot find enum type_instance_flag_value type.")
97 print(" `struct type' pretty-printer will be degraded")
99 TYPE_FLAGS
= [TypeFlag(field
.name
, field
.enumval
)
100 for field
in iflags
.fields()]
104 class StructTypePrettyPrinter
:
105 """Pretty-print an object of type struct type"""
107 def __init__(self
, val
):
112 fields
.append("pointer_type = %s" % self
.val
['pointer_type'])
113 fields
.append("reference_type = %s" % self
.val
['reference_type'])
114 fields
.append("chain = %s" % self
.val
['reference_type'])
115 fields
.append("instance_flags = %s"
116 % TypeFlagsPrinter(self
.val
['m_instance_flags']))
117 fields
.append("length = %d" % self
.val
['length'])
118 fields
.append("main_type = %s" % self
.val
['main_type'])
119 return "\n{" + ",\n ".join(fields
) + "}"
122 class StructMainTypePrettyPrinter
:
123 """Pretty-print an objet of type main_type"""
125 def __init__(self
, val
):
128 def flags_to_string(self
):
129 """struct main_type contains a series of components that
130 are one-bit ints whose name start with "flag_". For instance:
131 flag_unsigned, flag_stub, etc. In essence, these components are
132 really boolean flags, and this method prints a short synthetic
133 version of the value of all these flags. For instance, if
134 flag_unsigned and flag_static are the only components set to 1,
135 this function will return "unsigned|static".
137 fields
= [field
.name
.replace("flag_", "")
138 for field
in self
.val
.type.fields()
139 if field
.name
.startswith("flag_") and self
.val
[field
.name
]]
140 return "|".join(fields
)
142 def owner_to_string(self
):
143 """Return an image of component "owner".
145 if self
.val
['m_flag_objfile_owned'] != 0:
146 return "%s (objfile)" % self
.val
['m_owner']['objfile']
148 return "%s (gdbarch)" % self
.val
['m_owner']['gdbarch']
150 def struct_field_location_img(self
, field_val
):
151 """Return an image of the loc component inside the given field
154 loc_val
= field_val
['loc']
155 loc_kind
= str(field_val
['loc_kind'])
156 if loc_kind
== "FIELD_LOC_KIND_BITPOS":
157 return 'bitpos = %d' % loc_val
['bitpos']
158 elif loc_kind
== "FIELD_LOC_KIND_ENUMVAL":
159 return 'enumval = %d' % loc_val
['enumval']
160 elif loc_kind
== "FIELD_LOC_KIND_PHYSADDR":
161 return 'physaddr = 0x%x' % loc_val
['physaddr']
162 elif loc_kind
== "FIELD_LOC_KIND_PHYSNAME":
163 return 'physname = %s' % loc_val
['physname']
164 elif loc_kind
== "FIELD_LOC_KIND_DWARF_BLOCK":
165 return 'dwarf_block = %s' % loc_val
['dwarf_block']
167 return 'loc = ??? (unsupported loc_kind value)'
169 def struct_field_img(self
, fieldno
):
170 """Return an image of the main_type field number FIELDNO.
172 f
= self
.val
['flds_bnds']['fields'][fieldno
]
173 label
= "flds_bnds.fields[%d]:" % fieldno
175 label
+= " (artificial)"
177 fields
.append("name = %s" % f
['name'])
178 fields
.append("type = %s" % f
['m_type'])
179 fields
.append("loc_kind = %s" % f
['loc_kind'])
180 fields
.append("bitsize = %d" % f
['bitsize'])
181 fields
.append(self
.struct_field_location_img(f
))
182 return label
+ "\n" + " {" + ",\n ".join(fields
) + "}"
184 def bound_img(self
, bound_name
):
185 """Return an image of the given main_type's bound."""
186 bounds
= self
.val
['flds_bnds']['bounds'].dereference()
187 b
= bounds
[bound_name
]
188 bnd_kind
= str(b
['m_kind'])
189 if bnd_kind
== 'PROP_CONST':
190 return str(b
['m_data']['const_val'])
191 elif bnd_kind
== 'PROP_UNDEFINED':
195 if bound_name
== 'high' and bounds
['flag_upper_bound_is_count']:
196 info
.append('upper_bound_is_count')
197 return '{} ({})'.format(str(b
['m_data']['baton']), ','.join(info
))
199 def bounds_img(self
):
200 """Return an image of the main_type bounds.
202 b
= self
.val
['flds_bnds']['bounds'].dereference()
203 low
= self
.bound_img('low')
204 high
= self
.bound_img('high')
206 img
= "flds_bnds.bounds = {%s, %s}" % (low
, high
)
207 if b
['flag_bound_evaluated']:
208 img
+= ' [evaluated]'
211 def type_specific_img(self
):
212 """Return a string image of the main_type type_specific union.
213 Only the relevant component of that union is printed (based on
214 the value of the type_specific_kind field.
216 type_specific_kind
= str(self
.val
['type_specific_field'])
217 type_specific
= self
.val
['type_specific']
218 if type_specific_kind
== "TYPE_SPECIFIC_NONE":
219 img
= 'type_specific_field = %s' % type_specific_kind
220 elif type_specific_kind
== "TYPE_SPECIFIC_CPLUS_STUFF":
221 img
= "cplus_stuff = %s" % type_specific
['cplus_stuff']
222 elif type_specific_kind
== "TYPE_SPECIFIC_GNAT_STUFF":
223 img
= ("gnat_stuff = {descriptive_type = %s}"
224 % type_specific
['gnat_stuff']['descriptive_type'])
225 elif type_specific_kind
== "TYPE_SPECIFIC_FLOATFORMAT":
226 img
= "floatformat[0..1] = %s" % type_specific
['floatformat']
227 elif type_specific_kind
== "TYPE_SPECIFIC_FUNC":
228 img
= ("calling_convention = %d"
229 % type_specific
['func_stuff']['calling_convention'])
230 # tail_call_list is not printed.
231 elif type_specific_kind
== "TYPE_SPECIFIC_SELF_TYPE":
232 img
= "self_type = %s" % type_specific
['self_type']
233 elif type_specific_kind
== "TYPE_SPECIFIC_FIXED_POINT":
234 # The scaling factor is an opaque structure, so we cannot
235 # decode its value from Python (not without insider knowledge).
236 img
= ('scaling_factor: <opaque> (call __gmpz_dump with '
237 ' _mp_num and _mp_den fields if needed)')
239 img
= ("type_specific = ??? (unknown type_secific_kind: %s)"
240 % type_specific_kind
)
244 """Return a pretty-printed image of our main_type.
247 fields
.append("name = %s" % self
.val
['name'])
248 fields
.append("code = %s" % self
.val
['code'])
249 fields
.append("flags = [%s]" % self
.flags_to_string())
250 fields
.append("owner = %s" % self
.owner_to_string())
251 fields
.append("target_type = %s" % self
.val
['target_type'])
252 if self
.val
['nfields'] > 0:
253 for fieldno
in range(self
.val
['nfields']):
254 fields
.append(self
.struct_field_img(fieldno
))
255 if self
.val
['code'] == gdb
.TYPE_CODE_RANGE
:
256 fields
.append(self
.bounds_img())
257 fields
.append(self
.type_specific_img())
259 return "\n{" + ",\n ".join(fields
) + "}"
262 class CoreAddrPrettyPrinter
:
263 """Print CORE_ADDR values as hex."""
265 def __init__(self
, val
):
269 return hex(int(self
._val
))
272 def type_lookup_function(val
):
273 """A routine that returns the correct pretty printer for VAL
274 if appropriate. Returns None otherwise.
276 if val
.type.tag
== "type":
277 return StructTypePrettyPrinter(val
)
278 elif val
.type.tag
== "main_type":
279 return StructMainTypePrettyPrinter(val
)
280 elif val
.type.name
== 'CORE_ADDR':
281 return CoreAddrPrettyPrinter(val
)
285 def register_pretty_printer(objfile
):
286 """A routine to register a pretty-printer against the given OBJFILE.
288 objfile
.pretty_printers
.append(type_lookup_function
)
291 if __name__
== "__main__":
292 if gdb
.current_objfile() is not None:
293 # This is the case where this script is being "auto-loaded"
294 # for a given objfile. Register the pretty-printer for that
296 register_pretty_printer(gdb
.current_objfile())
298 # We need to locate the objfile corresponding to the GDB
299 # executable, and register the pretty-printer for that objfile.
300 # FIXME: The condition used to match the objfile is too simplistic
301 # and will not work on Windows.
302 for objfile
in gdb
.objfiles():
303 if os
.path
.basename(objfile
.filename
) == "gdb":
304 objfile
.pretty_printers
.append(type_lookup_function
)