Searched refs:isValidState (Results 1 – 3 of 3) sorted by relevance
1201 if (QueryingAA && AA.getState().isValidState())1231 AA->getState().isValidState())1772 virtual bool isValidState() const = 0;1826 bool isValidState() const override { return Assumed != getWorstState(); }2126 bool isValidState() const override {2943 bool isValidState() const override { return DerefBytesState.isValidState(); }2947 return !isValidState() ||3587 bool isValidState() const override { return IsValidState.isValidState(); }3609 assert(isValidState() && "This set shoud not be used when it is invalid!");3615 assert(isValidState() && "This flag shoud not be used when it is invalid!");[all …]
458 return T->isValidState(); in clampReturnedValueStates()524 return T->isValidState(); in clampCallSiteArgumentStates()901 return isValidState() ? ReturnedValues.size() : -1; in getNumReturnValues()921 bool isValidState() const override { return IsValidState; } in isValidState() function in __anon811b40a70111::AAReturnedValuesImpl940 assert(isValidState()); in manifest()1002 (isValidState() ? std::to_string(getNumReturnValues()) : "?") + in getAsStr()1041 if (!isValidState()) in checkForAllReturnedValuesAndReturnInsts()1141 if (!RetValAA.getState().isValidState()) { in updateImpl()1766 return T.isValidState(); in updateImpl()3118 assert(getState().isValidState() && in manifest()[all …]
891 if (!AARetVal.getState().isValidState()) in checkForAllReturnedValuesAndReturnInsts()910 if (!AARetVal.getState().isValidState()) in checkForAllReturnedValues()1037 if (!DepAA->getState().isValidState()) in runTillFixpoint()1071 if (!AAState.isValidState()) in runTillFixpoint()1155 if (!State.isValidState()) in manifestAttributes()2268 return OS << (!S.isValidState() ? "top" : (S.isAtFixpoint() ? "fix" : "")); in operator <<()2279 if (!S.isValidState()) in operator <<()