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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
