clang
8.0.0
|
This is the complete list of members for clang::ento::ConstraintManager, including all inherited members.
assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption)=0 | clang::ento::ConstraintManager | pure virtual |
assumeDual(ProgramStateRef State, DefinedSVal Cond) | clang::ento::ConstraintManager | inline |
assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InBound)=0 | clang::ento::ConstraintManager | pure virtual |
assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To) | clang::ento::ConstraintManager | inlinevirtual |
canReasonAbout(SVal X) const =0 | clang::ento::ConstraintManager | protectedpure virtual |
checkNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | protectedvirtual |
ConstraintManager()=default | clang::ento::ConstraintManager | |
EndPath(ProgramStateRef state) | clang::ento::ConstraintManager | inlinevirtual |
getSymVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | inlinevirtual |
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 |
~ConstraintManager() | clang::ento::ConstraintManager | virtual |