Searched refs:FlowConditionDeps (Results 1 – 2 of 2) sorted by relevance
152 FlowConditionDeps[ForkToken].insert(Token); in forkFlowCondition()161 auto &TokenDeps = FlowConditionDeps[Token]; in joinFlowConditions()235 if (auto DepsIt = FlowConditionDeps.find(Token); in addTransitiveFlowConditionConstraints()236 DepsIt != FlowConditionDeps.end()) in addTransitiveFlowConditionConstraints()
289 llvm::DenseMap<Atom, llvm::DenseSet<Atom>> FlowConditionDeps; variable