Lines Matching defs:isValidState

397     return T->isValidState();
479     return T->isValidState();
607           return S.isValidState();
804   /// See AbstractState::isValidState().
805   bool isValidState() const override { return BS.isValidState(); }
890     if (!isValidState() || !ReturnedOffsets.isUnassigned())
911     if (!isValidState() || !ReturnedOffsets.isUnassigned())
1031            (isValidState() ? (std::string("#") +
1366     if (!OtherAA.getState().isValidState() || !isValidState())
1399     if (!OtherAA.getState().isValidState() || !isValidState())
1564     if (!PotentialConstantsAA || !PotentialConstantsAA->isValidState()) {
1913           return isValidState();
1936         return isValidState();
2046       if (ArgAA && ArgAA->getState().isValidState())
3576     if (!this->getState().isValidState()) {
4267       if (isValidState())
4270       if (isValidState())
4534     assert(getState().isValidState() &&
4588     return isValidState() && !AssumedLiveEdges.count(std::make_pair(From, To));
5127       return T.isValidState();
5400       return T.isValidState();
6175     return isValidState() ? (isAtFixpoint() ? "simplified" : "maybe-simple")
6442     if (!isValidState())
6583     if (FloatAA && FloatAA->getState().isValidState())
6729     if (isValidState())
6737     if (!isValidState())
6753     assert(getState().isValidState() &&
7408           if (CBArgPrivAA && CBArgPrivAA->isValidState()) {
7455         if (DCArgPrivAA && DCArgPrivAA->isValidState()) {
8489     if (!isValidState())
9375     return T.isValidState();
9408     return T.isValidState();
9488     return T.isValidState();
9521         return T.isValidState();
9554       return T.isValidState();
9679       if (!PotentialValuesAA || !PotentialValuesAA->getState().isValidState())
9882     return isValidState();
10446       return T.isValidState();
10698       if (!CBEdges || !CBEdges->getState().isValidState())
10872         if (PotentialConstantsAA && PotentialConstantsAA->isValidState()) {
10985     if (!isValidState())
11473       return isValidState();
11781     return isValidState() && setContains(Assumption);
11906     if (!isValidState())
12007     if (!isValidState())
12187     return !isValidState() || Uses.contains(&U);
12514     return isValidState() && AllCalleesKnown && all_of(AssumedCallees, CB);
12569     assert(isValidState() && "the AA is invalid");
12685     if (!isValidState())
12787     assert(isValidState() && "the AA is invalid");
12825     if (!PI->getState().isValidState() || PI->reachesReturn())
12877     assert(isValidState() &&
12917     if (!isValidState())