Lines Matching defs:isAtFixpoint

752   /// See AbstractState::isAtFixpoint(...)
753   bool isAtFixpoint() const override { return IsAtFixpoint; }
3621            std::string(SPMDCompatibilityTracker.isAtFixpoint() ? " [FIX]"
3755       if (!isAtFixpoint()) {
3867     if (SPMDCompatibilityTracker.isAtFixpoint())
4707     if (!SPMDCompatibilityTracker.isAtFixpoint())
4738             if (!CBAA || !CBAA->SPMDCompatibilityTracker.isAtFixpoint())
4757       AllSPMDStatesWereFixed &= CBAA->SPMDCompatibilityTracker.isAtFixpoint();
4759           CBAA->ReachedKnownParallelRegions.isAtFixpoint();
4761           CBAA->ReachedUnknownParallelRegions.isAtFixpoint();
4914           if (!SPMDCompatibilityTracker.isAtFixpoint()) {
5045       if (isAtFixpoint())
5130         if (isAtFixpoint())
5239           if (!isAtFixpoint()) {
5329         if (AA->SPMDCompatibilityTracker.isAtFixpoint())
5334         if (AA->SPMDCompatibilityTracker.isAtFixpoint())
5398         if (AA->SPMDCompatibilityTracker.isAtFixpoint())
5403         if (AA->SPMDCompatibilityTracker.isAtFixpoint())