clang 8.0.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) 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)=0 | clang::ento::SimpleConstraintManager | protected pure virtual
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange)=0 | clang::ento::SimpleConstraintManager | protected pure virtual
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0 | clang::ento::SimpleConstraintManager | 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 |
EndPath(ProgramStateRef state) | clang::ento::ConstraintManager | inline virtual
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
isNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | inline
NotifyAssumeClients | clang::ento::ConstraintManager | protected
print(ProgramStateRef state, raw_ostream &Out, const char *nl, const char *sep)=0 | clang::ento::ConstraintManager | pure virtual
ProgramStatePair typedef | clang::ento::ConstraintManager |
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
~SimpleConstraintManager() override | clang::ento::SimpleConstraintManager |