Lines Matching defs:indicateOptimisticFixpoint

753   /// See AbstractState::indicateOptimisticFixpoint(...)
754   ChangeStatus indicateOptimisticFixpoint() override {
756     ParallelLevels.indicateOptimisticFixpoint();
757     ReachingKernelEntries.indicateOptimisticFixpoint();
758     SPMDCompatibilityTracker.indicateOptimisticFixpoint();
759     ReachedKnownParallelRegions.indicateOptimisticFixpoint();
760     ReachedUnknownParallelRegions.indicateOptimisticFixpoint();
3771       SPMDCompatibilityTracker.indicateOptimisticFixpoint();
4775       ReachedKnownParallelRegions.indicateOptimisticFixpoint();
4776       ReachedUnknownParallelRegions.indicateOptimisticFixpoint();
4784       SPMDCompatibilityTracker.indicateOptimisticFixpoint();
4880       indicateOptimisticFixpoint();
4888       indicateOptimisticFixpoint();
4919           indicateOptimisticFixpoint();
5031       indicateOptimisticFixpoint();