Assumed | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protected |
base_t typedef | llvm::DecIntegerState< base_ty > | |
getAssumed() const | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
getBestState() | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinestatic |
getBestState(const IntegerStateBase &) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinestatic |
getKnown() const | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
getWorstState() | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinestatic |
getWorstState(const IntegerStateBase &) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinestatic |
indicateOptimisticFixpoint() override | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinevirtual |
indicatePessimisticFixpoint() override | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinevirtual |
IntegerStateBase()=default | llvm::IntegerStateBase< base_ty, BestState, WorstState > | |
IntegerStateBase(base_t Assumed) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
isAtFixpoint() const override | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinevirtual |
isValidState() const override | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inlinevirtual |
Known | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protected |
operator!=(const IntegerStateBase< base_t, BestState, WorstState > &R) const | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
operator&=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
operator+=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
operator==(const IntegerStateBase< base_t, BestState, WorstState > &R) const | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
operator^=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
operator|=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< base_ty, BestState, WorstState > | inline |
takeAssumedMaximum(base_t Value) | llvm::DecIntegerState< base_ty > | inline |
takeKnownMinimum(base_t Value) | llvm::DecIntegerState< base_ty > | inline |
~AbstractState()=default | llvm::AbstractState | virtual |