Lines Matching defs:isAtFixpoint

606         if (S.isAtFixpoint())
660   if (S.isAtFixpoint())
807   /// See AbstractState::isAtFixpoint().
808   bool isAtFixpoint() const override { return BS.isAtFixpoint(); }
6175     return isValidState() ? (isAtFixpoint() ? "simplified" : "maybe-simple")
8139         return !isAtFixpoint();
8148     return !isAtFixpoint();
8220     return !isAtFixpoint();
9279     if (isAtFixpoint())
9762     if (isAtFixpoint())
10156     if (isAtFixpoint())
10279     if (!getState().isAtFixpoint() && getAnchorScope() &&
11970           UsedAssumedInformation |= !OtherAA->getState().isAtFixpoint();
12036     UsedAssumedInformation |= !AA->getState().isAtFixpoint();
12251       UsedAssumedInformation = !GIAA->isAtFixpoint();