Lines Matching defs:isAtFixpoint

738   /// See AbstractState::isAtFixpoint(...)
739   bool isAtFixpoint() const override { return IsAtFixpoint; }
3618            std::string(SPMDCompatibilityTracker.isAtFixpoint() ? " [FIX]"
3752       if (!isAtFixpoint()) {
3859     if (SPMDCompatibilityTracker.isAtFixpoint())
4705     if (!SPMDCompatibilityTracker.isAtFixpoint())
4736             if (!CBAA || !CBAA->SPMDCompatibilityTracker.isAtFixpoint())
4755       AllSPMDStatesWereFixed &= CBAA->SPMDCompatibilityTracker.isAtFixpoint();
4757           CBAA->ReachedKnownParallelRegions.isAtFixpoint();
4759           CBAA->ReachedUnknownParallelRegions.isAtFixpoint();
4912           if (!SPMDCompatibilityTracker.isAtFixpoint()) {
5043       if (isAtFixpoint())
5128         if (isAtFixpoint())
5237           if (!isAtFixpoint()) {
5327         if (AA->SPMDCompatibilityTracker.isAtFixpoint())
5332         if (AA->SPMDCompatibilityTracker.isAtFixpoint())
5396         if (AA->SPMDCompatibilityTracker.isAtFixpoint())
5401         if (AA->SPMDCompatibilityTracker.isAtFixpoint())