clang 10.0.0git

clang::ento::SMTConstraintManager Member List

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

addStateConstraints(ProgramStateRef State) const | clang::ento::SMTConstraintManager | inline protected virtual
assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override | clang::ento::SimpleConstraintManager | virtual
assumeDual(ProgramStateRef State, DefinedSVal Cond) | clang::ento::ConstraintManager | inline
assumeExpr(ProgramStateRef State, SymbolRef Sym, const llvm::SMTExprRef &Exp) | clang::ento::SMTConstraintManager | inline protected virtual
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::SMTConstraintManager | inline virtual
assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override | clang::ento::SMTConstraintManager | inline virtual
assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) override | clang::ento::SMTConstraintManager | inline virtual
Cached | clang::ento::SMTConstraintManager | mutable protected
canReasonAbout(SVal X) const override | clang::ento::SMTConstraintManager | inline virtual
checkModel(ProgramStateRef State, SymbolRef Sym, const llvm::SMTExprRef &Exp) const | clang::ento::SMTConstraintManager | inline protected
checkNull(ProgramStateRef State, SymbolRef Sym) override | clang::ento::SMTConstraintManager | inline virtual
ConstraintManager()=default | clang::ento::ConstraintManager |
dump() const | clang::ento::SMTConstraintManager | inline
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 override | clang::ento::SMTConstraintManager | inline virtual
haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const override | clang::ento::SMTConstraintManager | inline 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=0, bool IsDot=false) const override | clang::ento::SMTConstraintManager | inline virtual
ProgramStatePair typedef | clang::ento::ConstraintManager |
removeDeadBindings(ProgramStateRef State, SymbolReaper &SymReaper) override | clang::ento::SMTConstraintManager | inline virtual
SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) | clang::ento::SimpleConstraintManager | inline
SMTConstraintManager(clang::ento::SubEngine *SE, clang::ento::SValBuilder &SB) | clang::ento::SMTConstraintManager | inline
~ConstraintManager() | clang::ento::ConstraintManager | virtual
~SimpleConstraintManager() override | clang::ento::SimpleConstraintManager |
~SMTConstraintManager()=default | clang::ento::SMTConstraintManager | virtual