Searched refs:FlowConditionToken (Results 1 – 2 of 2) sorted by relevance
218 : DACtx(&DACtx), FlowConditionToken(&DACtx.makeFlowConditionToken()) {} in Environment()225 FlowConditionToken(&DACtx->forkFlowCondition(*Other.FlowConditionToken)) { in Environment()394 this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken); in popCall()527 JoinedEnv.FlowConditionToken = &DACtx->joinFlowConditions( in join()528 *FlowConditionToken, *Other.FlowConditionToken); in join()786 DACtx->addFlowConditionConstraint(*FlowConditionToken, Val); in addToFlowCondition()790 return DACtx->flowConditionImplies(*FlowConditionToken, Val); in flowConditionImplies()810 DACtx->dumpFlowCondition(*FlowConditionToken); in dump()
398 AtomicBoolValue &getFlowConditionToken() const { return *FlowConditionToken; } in getFlowConditionToken()496 AtomicBoolValue *FlowConditionToken; variable