Searched refs:ReachedUnknownParallelRegions (Results 1 – 1 of 1) sorted by relevance
546 ReachedUnknownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()565 if (ReachedUnknownParallelRegions != RHS.ReachedUnknownParallelRegions) in operator ==()597 ReachedUnknownParallelRegions ^= KIS.ReachedUnknownParallelRegions; in operator ^=()2775 std::to_string(ReachedUnknownParallelRegions.size()); in getAsStr()3079 ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()3091 if (ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()3278 if (i + 1 < e || !ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()3297 if (!ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()3503 ReachedUnknownParallelRegions.insert(&CB); in initialize()3570 ReachedUnknownParallelRegions.insert(&CB); in initialize()[all …]