144     Atom Token, const Formula &Constraint) {  in addFlowConditionConstraint()  argument
145   auto Res = FlowConditionConstraints.try_emplace(Token, &Constraint);  in addFlowConditionConstraint()
152 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) {  in forkFlowCondition()  argument
154   FlowConditionDeps[ForkToken].insert(Token);  in forkFlowCondition()
155   addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token));  in forkFlowCondition()
162   Atom Token = arena().makeFlowConditionToken();  in joinFlowConditions()  local
163   FlowConditionDeps[Token].insert(FirstToken);  in joinFlowConditions()
164   FlowConditionDeps[Token].insert(SecondToken);  in joinFlowConditions()
165   addFlowConditionConstraint(Token,  in joinFlowConditions()
168   return Token;  in joinFlowConditions()
176 bool DataflowAnalysisContext::flowConditionImplies(Atom Token,  in flowConditionImplies()  argument
187   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionImplies()
189   addTransitiveFlowConditionConstraints(Token, Constraints);  in flowConditionImplies()
193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token,  in flowConditionAllows()  argument
199   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionAllows()
201   addTransitiveFlowConditionConstraints(Token, Constraints);  in flowConditionAllows()
213     Atom Token, llvm::SetVector<const Formula *> &Constraints) {  in addTransitiveFlowConditionConstraints()  argument
215   std::vector<Atom> Remaining = {Token};  in addTransitiveFlowConditionConstraints()
221     auto Token = Remaining.back();  in addTransitiveFlowConditionConstraints()  local
223     if (!AddedTokens.insert(Token).second)  in addTransitiveFlowConditionConstraints()
226     auto ConstraintsIt = FlowConditionConstraints.find(Token);  in addTransitiveFlowConditionConstraints()
228       Constraints.insert(&arena().makeAtomRef(Token));  in addTransitiveFlowConditionConstraints()
232       Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token),  in addTransitiveFlowConditionConstraints()
236     if (auto DepsIt = FlowConditionDeps.find(Token);  in addTransitiveFlowConditionConstraints()
254 void DataflowAnalysisContext::dumpFlowCondition(Atom Token,  in dumpFlowCondition()  argument
257   Constraints.insert(&arena().makeAtomRef(Token));  in dumpFlowCondition()
258   addTransitiveFlowConditionConstraints(Token, Constraints);  in dumpFlowCondition()
260   OS << "Flow condition token: " << Token << "\n";  in dumpFlowCondition()