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