[PATCH] D62761: [analyzer] exploded-graph-rewriter: Implement a --diff mode.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 14 14:24:52 PDT 2019


NoQ marked an inline comment as done.
NoQ added inline comments.


================
Comment at: clang/utils/analyzer/exploded-graph-rewriter.py:170-171
         super(Store, self).__init__()
-        self.clusters = [StoreCluster(c) for c in json_s]
+        self.clusters = collections.OrderedDict(
+            [(c['cluster'], StoreCluster(c)) for c in json_s])
+
----------------
This is broken due to possible collisions in cluster keys (eg., two variables with the same name but different scopes).
I guess i'll have to add a unique key to the cluster dump, i.e., a `MemRegion` pointer.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62761/new/

https://reviews.llvm.org/D62761





More information about the cfe-commits mailing list