diff --git a/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index eca0f17beb40a..dcda91e8a6809 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/utils/analyzer/exploded-graph-rewriter.py @@ -90,6 +90,11 @@ def __init__(self, json_pp): self.callee_decl = json_pp.get("callee_decl", "None") elif self.kind == "BlockEntrance": self.block_id = json_pp["block_id"] + elif self.kind == "PostInitializer": + if "field_decl" in json_pp: + self.target = json_pp["field_decl"] + else: + self.target = json_pp["type"] # A single expression acting as a key in a deserialized Environment. @@ -627,6 +632,13 @@ def visit_program_point(self, p): '%s' '%s' % (color, p.kind, p.callee_decl) ) + elif p.kind == "PostInitializer": + self._dump( + '' + '' + '%s' + '%s' % (color, p.kind, p.target) + ) else: # TODO: Print more stuff for other kinds of points. self._dump(