Searched refs:ReachedUnknownParallelRegions (Results 1 – 1 of 1) sorted by relevance
748 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 ^=()3626 (ReachedUnknownParallelRegions.isValidState() in getAsStr()4357 if (ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()4597 if (!ReachedUnknownParallelRegions.empty()) { in buildCustomStateMachine()4758 CBAA->ReachedUnknownParallelRegions.isAtFixpoint(); in updateImpl()4907 ReachedUnknownParallelRegions.insert(&CB); in initialize()[all …]