clang 19.0.0git
clang::ento::ConstraintManager Member List

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

assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption)clang::ento::ConstraintManager
assumeDual(ProgramStateRef State, DefinedSVal Cond)clang::ento::ConstraintManager
assumeDualImpl(ProgramStateRef &State, AssumeFunction &Assume)clang::ento::ConstraintManagerprotected
assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InBound)clang::ento::ConstraintManager
assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To)clang::ento::ConstraintManager
assumeInclusiveRangeInternal(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InBound)=0clang::ento::ConstraintManagerprotectedpure virtual
assumeInternal(ProgramStateRef state, DefinedSVal Cond, bool Assumption)=0clang::ento::ConstraintManagerprotectedpure virtual
AssumeStackclang::ento::ConstraintManagerprotected
canReasonAbout(SVal X) const =0clang::ento::ConstraintManagerprotectedpure virtual
checkNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerprotectedvirtual
ConstraintManager()=defaultclang::ento::ConstraintManager
getSymMaxVal(ProgramStateRef state, SymbolRef sym) constclang::ento::ConstraintManagerinlinevirtual
getSymMinVal(ProgramStateRef state, SymbolRef sym) constclang::ento::ConstraintManagerinlinevirtual
getSymVal(ProgramStateRef state, SymbolRef sym) constclang::ento::ConstraintManagerinlinevirtual
haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const =0clang::ento::ConstraintManagerpure virtual
isNull(ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerinline
printJson(raw_ostream &Out, ProgramStateRef State, const char *NL, unsigned int Space, bool IsDot) const =0clang::ento::ConstraintManagerpure virtual
printValue(raw_ostream &Out, ProgramStateRef State, SymbolRef Sym)clang::ento::ConstraintManagerinlinevirtual
ProgramStatePair typedefclang::ento::ConstraintManager
removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0clang::ento::ConstraintManagerpure virtual
~ConstraintManager()clang::ento::ConstraintManagervirtual