1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
# Copyright (C) 2008-2025 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
# Reduced copy of /usr/share/gcc-15/python/libstdcxx/v6/printers.py.
import gdb
import gdb.printing
import gdb.types
class FilteringTypePrinter(object):
def __init__(self, template, name, targ1=None):
self._template = template
self.name = name
self._targ1 = targ1
self.enabled = True
class _recognizer(object):
def __init__(self, template, name, targ1):
self._template = template
self.name = name
self._targ1 = targ1
self._type_obj = None
def recognize(self, type_obj):
if type_obj.tag is None:
return None
if self._type_obj is None:
if self._targ1 is not None:
s = "{}<{}".format(self._template, self._targ1)
if not type_obj.tag.startswith(s):
return None
elif not type_obj.tag.startswith(self._template):
return None
try:
self._type_obj = gdb.lookup_type(self.name).strip_typedefs()
except:
pass
if self._type_obj is None:
return None
t1 = gdb.types.get_basic_type(self._type_obj)
t2 = gdb.types.get_basic_type(type_obj)
if t1 == t2:
return self.name
if self._template.split("::")[-1] == "basic_string":
s1 = self._type_obj.tag.replace("__cxx11::", "")
s2 = type_obj.tag.replace("__cxx11::", "")
if s1 == s2:
return self.name
return None
def instantiate(self):
return self._recognizer(self._template, self.name, self._targ1)
def add_one_type_printer(obj, template, name, targ1=None):
printer = FilteringTypePrinter("std::" + template, "std::" + name, targ1)
gdb.types.register_type_printer(obj, printer)
def register_type_printers(obj):
for ch in (("", "char"),):
add_one_type_printer(obj, "__cxx11::basic_string", ch[0] + "string", ch[1])
|
