143     Atom Token, const Formula &Constraint) {  in addFlowConditionConstraint()  argument
144   auto Res = FlowConditionConstraints.try_emplace(Token, &Constraint);  in addFlowConditionConstraint()
151 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) {  in forkFlowCondition()  argument
153   FlowConditionDeps[ForkToken].insert(Token);  in forkFlowCondition()
154   addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token));  in forkFlowCondition()
161   Atom Token = arena().makeFlowConditionToken();  in joinFlowConditions()  local
162   FlowConditionDeps[Token].insert(FirstToken);  in joinFlowConditions()
163   FlowConditionDeps[Token].insert(SecondToken);  in joinFlowConditions()
164   addFlowConditionConstraint(Token,  in joinFlowConditions()
167   return Token;  in joinFlowConditions()
175 bool DataflowAnalysisContext::flowConditionImplies(Atom Token,  in flowConditionImplies()  argument
186   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionImplies()
188   addTransitiveFlowConditionConstraints(Token, Constraints);  in flowConditionImplies()
192 bool DataflowAnalysisContext::flowConditionAllows(Atom Token,  in flowConditionAllows()  argument
198   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionAllows()
200   addTransitiveFlowConditionConstraints(Token, Constraints);  in flowConditionAllows()
212     Atom Token, llvm::SetVector<const Formula *> &Constraints) {  in addTransitiveFlowConditionConstraints()  argument
214   std::vector<Atom> Remaining = {Token};  in addTransitiveFlowConditionConstraints()
220     auto Token = Remaining.back();  in addTransitiveFlowConditionConstraints()  local
222     if (!AddedTokens.insert(Token).second)  in addTransitiveFlowConditionConstraints()
225     auto ConstraintsIt = FlowConditionConstraints.find(Token);  in addTransitiveFlowConditionConstraints()
227       Constraints.insert(&arena().makeAtomRef(Token));  in addTransitiveFlowConditionConstraints()
231       Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token),  in addTransitiveFlowConditionConstraints()
235     if (auto DepsIt = FlowConditionDeps.find(Token);  in addTransitiveFlowConditionConstraints()
253 void DataflowAnalysisContext::dumpFlowCondition(Atom Token,  in dumpFlowCondition()  argument
256   Constraints.insert(&arena().makeAtomRef(Token));  in dumpFlowCondition()
257   addTransitiveFlowConditionConstraints(Token, Constraints);  in dumpFlowCondition()
259   OS << "Flow condition token: " << Token << "\n";  in dumpFlowCondition()