contains(const MemberTy &V) const | llvm::PotentialValuesState< MemberTy > | inline |
getAssumed() | llvm::PotentialValuesState< MemberTy > | inline |
getAssumed() const | llvm::PotentialValuesState< MemberTy > | inline |
getAssumedSet() const | llvm::PotentialValuesState< MemberTy > | inline |
getAssumedSet() | llvm::PotentialValuesState< MemberTy > | inlineprotected |
getBestState() | llvm::PotentialValuesState< MemberTy > | inlinestatic |
getBestState(const PotentialValuesState &PVS) | llvm::PotentialValuesState< MemberTy > | inlinestatic |
getWorstState() | llvm::PotentialValuesState< MemberTy > | inlinestatic |
indicateOptimisticFixpoint() override | llvm::PotentialValuesState< MemberTy > | inlinevirtual |
indicatePessimisticFixpoint() override | llvm::PotentialValuesState< MemberTy > | inlinevirtual |
isAtFixpoint() const override | llvm::PotentialValuesState< MemberTy > | inlinevirtual |
isValidState() const override | llvm::PotentialValuesState< MemberTy > | inlinevirtual |
MaxPotentialValues | llvm::PotentialValuesState< MemberTy > | static |
operator&=(const PotentialValuesState &PVS) | llvm::PotentialValuesState< MemberTy > | inline |
operator==(const PotentialValuesState &RHS) const | llvm::PotentialValuesState< MemberTy > | inline |
operator^=(const PotentialValuesState &PVS) | llvm::PotentialValuesState< MemberTy > | inline |
PotentialValuesState() | llvm::PotentialValuesState< MemberTy > | inline |
PotentialValuesState(bool IsValid) | llvm::PotentialValuesState< MemberTy > | inline |
SetTy typedef | llvm::PotentialValuesState< MemberTy > | |
undefIsContained() const | llvm::PotentialValuesState< MemberTy > | inline |
unionAssumed(const MemberTy &C) | llvm::PotentialValuesState< MemberTy > | inline |
unionAssumed(const PotentialValuesState &PVS) | llvm::PotentialValuesState< MemberTy > | inline |
unionAssumedWithUndef() | llvm::PotentialValuesState< MemberTy > | inline |
~AbstractState()=default | llvm::AbstractState | virtual |