Searched refs:ReachedUnknownParallelRegions (Results 1 – 1 of 1) sorted by relevance
693 BooleanStateWithPtrSetVector<CallBase> ReachedUnknownParallelRegions; member748 ReachedUnknownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()760 ReachedUnknownParallelRegions.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()773 if (ReachedUnknownParallelRegions != RHS.ReachedUnknownParallelRegions) in operator ==()787 !ReachedUnknownParallelRegions.empty(); in mayContainParallelRegion()823 ReachedUnknownParallelRegions ^= KIS.ReachedUnknownParallelRegions; in operator ^=()3625 (ReachedUnknownParallelRegions.isValidState() in getAsStr()3626 ? std::to_string(ReachedUnknownParallelRegions.size()) in getAsStr()4358 if (ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()4376 for (CallBase *UnknownParallelRegionCB : ReachedUnknownParallelRegions) { in buildCustomStateMachine()[all …]