[PATCH] D128357: [clang][dataflow] Store flow condition constraints in a single `FlowConditionConstraints` map.

[Stanislav Gatev via Phabricator via cfe-commits]

sgatev accepted this revision.
sgatev added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp:138-150
+  auto ConstraintsIt = FlowConditionConstraints.find(&Token);
+  if (ConstraintsIt == FlowConditionConstraints.end()) {
+    Constraints.insert(&Token);
+  } else {
+    // Bind flow condition token via `iff` to its set of constraints
+    // FC <=> (C1 ^ C2 ^ ...), where Ci are constraints
+    // = (FC v !(C1 ^ C2 ^ ...)) ^ (!FC v (C1 ^ C2 ^ ...))
----------------



================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp:142-144
+    // Bind flow condition token via `iff` to its set of constraints
+    // FC <=> (C1 ^ C2 ^ ...), where Ci are constraints
+    // = (FC v !(C1 ^ C2 ^ ...)) ^ (!FC v (C1 ^ C2 ^ ...))
----------------



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D128357