144     Atom Token, const Formula &Constraint) {  in addFlowConditionConstraint()
152 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) {  in forkFlowCondition()
153   Atom ForkToken = arena().makeFlowConditionToken();  in forkFlowCondition()
159 Atom
160 DataflowAnalysisContext::joinFlowConditions(Atom FirstToken,  in joinFlowConditions()
161                                             Atom SecondToken) {  in joinFlowConditions()
162   Atom Token = arena().makeFlowConditionToken();  in joinFlowConditions()
176 bool DataflowAnalysisContext::flowConditionImplies(Atom Token,  in flowConditionImplies()
193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token,  in flowConditionAllows()
213     Atom Token, llvm::SetVector<const Formula *> &Constraints) {  in addTransitiveFlowConditionConstraints()
214   llvm::DenseSet<Atom> AddedTokens;  in addTransitiveFlowConditionConstraints()
215   std::vector<Atom> Remaining = {Token};  in addTransitiveFlowConditionConstraints()
238       for (Atom A : DepsIt->second)  in addTransitiveFlowConditionConstraints()
243 static void printAtomList(const llvm::SmallVector<Atom> &Atoms,  in printAtomList()
254 void DataflowAnalysisContext::dumpFlowCondition(Atom Token,  in dumpFlowCondition()
281     for (const llvm::SmallVector<Atom> &Class : Info.EquivalentAtoms)  in dumpFlowCondition()