clang  3.9.0
clang::ento::SimpleConstraintManager Member List

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

assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption) overrideclang::ento::SimpleConstraintManagervirtual
assume(ProgramStateRef state, NonLoc Cond, bool Assumption)clang::ento::SimpleConstraintManager
assumeAux(ProgramStateRef state, NonLoc Cond, bool Assumption)clang::ento::SimpleConstraintManagerprotected
assumeAuxForSymbol(ProgramStateRef State, SymbolRef Sym, bool Assumption)clang::ento::SimpleConstraintManagerprotected
assumeDual(ProgramStateRef State, DefinedSVal Cond)clang::ento::ConstraintManagerinline
assumeSymbolOutOfInclusiveRange(ProgramStateRef state, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymbolWithinInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymEQ(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymGE(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymGT(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymLE(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymLT(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymNE(ProgramStateRef state, SymbolRef sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0clang::ento::SimpleConstraintManagerprotectedpure virtual
assumeSymRel(ProgramStateRef state, const SymExpr *LHS, BinaryOperator::Opcode op, const llvm::APSInt &Int)clang::ento::SimpleConstraintManager
assumeSymWithinInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange)clang::ento::SimpleConstraintManager
assumeWithinInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) overrideclang::ento::SimpleConstraintManagervirtual
assumeWithinInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To)clang::ento::ConstraintManagerinlinevirtual
canReasonAbout(SVal X) const overrideclang::ento::SimpleConstraintManagerprotectedvirtual
checkNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerprotectedvirtual
ConstraintManager()clang::ento::ConstraintManagerinline
EndPath(ProgramStateRef state)clang::ento::ConstraintManagerinlinevirtual
getBasicVals() const clang::ento::SimpleConstraintManagerinlineprotected
getSymbolManager() const clang::ento::SimpleConstraintManagerinlineprotected
getSymVal(ProgramStateRef state, SymbolRef sym) const clang::ento::ConstraintManagerinlinevirtual
isNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerinline
NotifyAssumeClientsclang::ento::ConstraintManagerprotected
print(ProgramStateRef state, raw_ostream &Out, const char *nl, const char *sep)=0clang::ento::ConstraintManagerpure virtual
ProgramStatePair typedefclang::ento::ConstraintManager
removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0clang::ento::ConstraintManagerpure virtual
SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)clang::ento::SimpleConstraintManagerinline
~ConstraintManager()clang::ento::ConstraintManagervirtual
~SimpleConstraintManager() overrideclang::ento::SimpleConstraintManager