Assumed | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protected |
base_t typedef | llvm::IntegerStateBase< base_ty, BestState, WorstState > | |
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 |
handleNewAssumedValue(base_t Value)=0 | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protectedpure virtual |
handleNewKnownValue(base_t Value)=0 | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protectedpure virtual |
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 |
joinAND(base_t AssumedValue, base_t KnownValue)=0 | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protectedpure virtual |
joinOR(base_t AssumedValue, base_t KnownValue)=0 | llvm::IntegerStateBase< base_ty, BestState, WorstState > | protectedpure virtual |
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 |
~AbstractState()=default | llvm::AbstractState | virtual |