Lines Matching defs:indicateOptimisticFixpoint

767   /// See AbstractState::indicateOptimisticFixpoint(...)
768   ChangeStatus indicateOptimisticFixpoint() override {
770     ParallelLevels.indicateOptimisticFixpoint();
771     ReachingKernelEntries.indicateOptimisticFixpoint();
772     SPMDCompatibilityTracker.indicateOptimisticFixpoint();
773     ReachedKnownParallelRegions.indicateOptimisticFixpoint();
774     ReachedUnknownParallelRegions.indicateOptimisticFixpoint();
3779       SPMDCompatibilityTracker.indicateOptimisticFixpoint();
4777       ReachedKnownParallelRegions.indicateOptimisticFixpoint();
4778       ReachedUnknownParallelRegions.indicateOptimisticFixpoint();
4786       SPMDCompatibilityTracker.indicateOptimisticFixpoint();
4882       indicateOptimisticFixpoint();
4890       indicateOptimisticFixpoint();
4921           indicateOptimisticFixpoint();
5033       indicateOptimisticFixpoint();