Searched refs:getBestState (Results 1 – 3 of 3) sorted by relevance
2688 static constexpr base_t getBestState() { return BestState; }2689 static constexpr base_t getBestState(const IntegerStateBase &) {2690 return getBestState();2776 base_t Assumed = getBestState();2853 static constexpr base_t getBestState() { return BestState; }2855 getBestState(const IncIntegerState<base_ty, BestState, WorstState> &) {2856 return getBestState();2993 static ConstantRange getBestState(uint32_t BitWidth) {2996 static ConstantRange getBestState(const IntegerRangeState &IRS) {2997 return getBestState(IRS.getBitWidth());[all …]
394 T = StateType::getBestState(AAS); in clampReturnedValueStates()422 StateType S(StateType::getBestState(this->getState())); in updateImpl()476 T = StateType::getBestState(AAS); in clampCallSiteArgumentStates()543 StateType S = StateType::getBestState(this->getState()); in updateImpl()794 static State getBestState(const State &SIS) { return State(); } in getBestState() function10960 auto NewS = StateType::getBestState(getState()); in giveUpOnIntraprocedural()10975 getState() = StateType::getBestState(getState()); in indicatePessimisticFixpoint()12578 static_assert(getBestState() == IS_BEST_STATE, "Unexpected best state");
804 static KernelInfoState getBestState() { return KernelInfoState(true); } in getBestState() function806 static KernelInfoState getBestState(KernelInfoState &KIS) { in getBestState() function807 return getBestState(); in getBestState()