clang 10.0.0git

clang::ento::RangedConstraintManager Member List

This is the complete list of members for clang::ento::RangedConstraintManager, including all inherited members.

assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override | clang::ento::SimpleConstraintManager | virtual
assumeDual(ProgramStateRef State, DefinedSVal Cond) | clang::ento::ConstraintManager | inline
assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override | clang::ento::SimpleConstraintManager | virtual
assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To) | clang::ento::ConstraintManager | inline virtual
assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption) override | clang::ento::RangedConstraintManager | virtual
assumeSymEQ(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymGE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymGT(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override | clang::ento::RangedConstraintManager | virtual
assumeSymLE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymLT(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymNE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymOutsideInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
assumeSymRel(ProgramStateRef State, SymbolRef Sym, BinaryOperator::Opcode op, const llvm::APSInt &Int) | clang::ento::RangedConstraintManager | protected virtual
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) override | clang::ento::RangedConstraintManager | virtual
assumeSymWithinInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protected pure virtual
canReasonAbout(SVal X) const =0 | clang::ento::ConstraintManager | protected pure virtual
checkNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | protected virtual
ConstraintManager()=default | clang::ento::ConstraintManager |
getBasicVals() const | clang::ento::SimpleConstraintManager | inline protected
getSValBuilder() const | clang::ento::SimpleConstraintManager | inline protected
getSymbolManager() const | clang::ento::SimpleConstraintManager | inline protected
getSymVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | inline virtual
haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const =0 | clang::ento::ConstraintManager | pure virtual
isNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | inline
NotifyAssumeClients | clang::ento::ConstraintManager | protected
printJson(raw_ostream &Out, ProgramStateRef State, const char *NL, unsigned int Space, bool IsDot) const =0 | clang::ento::ConstraintManager | pure virtual
ProgramStatePair typedef | clang::ento::ConstraintManager |
RangedConstraintManager(SubEngine *SE, SValBuilder &SB) | clang::ento::RangedConstraintManager | inline
removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0 | clang::ento::ConstraintManager | pure virtual
SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) | clang::ento::SimpleConstraintManager | inline
~ConstraintManager() | clang::ento::ConstraintManager | virtual
~RangedConstraintManager() override | clang::ento::RangedConstraintManager |
~SimpleConstraintManager() override | clang::ento::SimpleConstraintManager |