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())