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

Csaba Dabis via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 14 14:41:44 PDT 2019


Charusso marked an inline comment as done.
Charusso 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])
+
----------------
NoQ wrote:
> 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.
It is a good idea, thanks for fixing these errors!


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

https://reviews.llvm.org/D62761





More information about the cfe-commits mailing list