[PATCH] D128357: [clang][dataflow] Store flow condition constraints in a single `FlowConditionConstraints` map.
Stanislav Gatev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Jun 22 10:13:34 PDT 2022
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
More information about the cfe-commits
mailing list