[PATCH] D104917: [Analyzer] Extend exploded-graph-rewriter to support eq and diseq classes

Valeriy Savchenko via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 25 07:37:42 PDT 2021


vsavchenko added a comment.

LGTM, but I'm not really an expert in `exploded-graph-rewriter`.  I think @NoQ should take a look.



================
Comment at: clang/utils/analyzer/exploded-graph-rewriter.py:299
+        self.equivalence_classes = (
+            GenericMap({i: ", ".join(eq_classes[i]) for i in range(0, len(eq_classes))})
+            if eq_classes
----------------
I believe that `enumerate` is more idiomatic for Python in situations like this.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104917



More information about the cfe-commits mailing list