Searched refs:FlowConditionDeps (Results 1 – 2 of 2) sorted by relevance
153 FlowConditionDeps[ForkToken].insert(Token); in forkFlowCondition()162 FlowConditionDeps[Token].insert(FirstToken); in joinFlowConditions()163 FlowConditionDeps[Token].insert(SecondToken); in joinFlowConditions()235 if (auto DepsIt = FlowConditionDeps.find(Token); in addTransitiveFlowConditionConstraints()236 DepsIt != FlowConditionDeps.end()) in addTransitiveFlowConditionConstraints()
284 llvm::DenseMap<Atom, llvm::DenseSet<Atom>> FlowConditionDeps; variable