From 53caec71506b1c08402567ddd4cbd18a9297d06a Mon Sep 17 00:00:00 2001
From: pompolic <pompolic@special-circumstanc.es>
Date: Fri, 25 Jun 2021 23:41:39 +0200
Subject: [PATCH] Type instrumentation avoids trying to rename parser if it
already has a name
---
gdb-port/parser-type-instrumentation-gdb.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gdb-port/parser-type-instrumentation-gdb.py b/gdb-port/parser-type-instrumentation-gdb.py
index 039b921..ba1a01c 100644
--- a/gdb-port/parser-type-instrumentation-gdb.py
+++ b/gdb-port/parser-type-instrumentation-gdb.py
@@ -96,7 +96,8 @@ class SequenceEnv(HParserEnv):
for index in range(0, num_parsers):
parser_p = gdb.parse_and_eval("((HSequence*) parser->env)->p_array[" + str(index) + "]")
parser_obj = top_level_parse.add_or_get_parser(parser_p)
- parser_obj.name_parser( self.name_from_vtable(parser_obj) )
+ if parser_obj.name is None:
+ parser_obj.name_parser( self.name_from_vtable(parser_obj) )
self.member_parsers.append(parser_obj)
def __str__(self):
--
GitLab