https://github.com/steakhal created https://github.com/llvm/llvm-project/pull/116034
This aids debugging PostInitializer program points by knowing what is the location being initialized.  >From 7faee31bc4bc0b1a9fd037a99f54856c84affc91 Mon Sep 17 00:00:00 2001 From: Balazs Benics <benicsbal...@gmail.com> Date: Wed, 13 Nov 2024 12:55:06 +0100 Subject: [PATCH] [analyzer] Print the PostInitializer target in exploded-graph-rewriter This aids debugging PostInitializer program points by knowing what is the location being initialized. --- clang/utils/analyzer/exploded-graph-rewriter.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index 5eaa7738103f79..2eff20fd5899f3 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/utils/analyzer/exploded-graph-rewriter.py @@ -88,6 +88,8 @@ def __init__(self, json_pp): ) elif self.kind == "BlockEntrance": self.block_id = json_pp["block_id"] + elif self.kind == "PostInitializer": + self.target = json_pp["field_decl"] if "field_decl" in json_pp else json_pp["type"] # A single expression acting as a key in a deserialized Environment. @@ -618,6 +620,13 @@ def visit_program_point(self, p): '<font color="%s">%s</font></td>' '<td align="left">[B%d]</td></tr>' % (color, p.kind, p.block_id) ) + elif p.kind == "PostInitializer": + self._dump( + '<td width="0"></td>' + '<td align="left" width="0">' + '<font color="%s">%s</font></td>' + '<td align="left">%s</td></tr>' % (color, p.kind, p.target) + ) else: # TODO: Print more stuff for other kinds of points. self._dump( _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
