clang::ento::RangedConstraintManager Member List
This is the complete list of members for clang::ento::RangedConstraintManager, including all inherited members.
| clang::ento::ConstraintManager::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::ConstraintManager | protected |
| 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 InRange) override | clang::ento::SimpleConstraintManager | protectedvirtual |
| assumeInternal(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override | clang::ento::SimpleConstraintManager | protectedvirtual |
| AssumeStack | clang::ento::ConstraintManager | protected |
| assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption) override | clang::ento::RangedConstraintManager | virtual |
| assumeSymEQ(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymGE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymGT(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override | clang::ento::RangedConstraintManager | virtual |
| assumeSymLE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymLT(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymNE(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &V, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymOutsideInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| assumeSymRel(ProgramStateRef State, SymbolRef Sym, BinaryOperator::Opcode op, const llvm::APSInt &Int) | clang::ento::RangedConstraintManager | protectedvirtual |
| assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) override | clang::ento::RangedConstraintManager | virtual |
| assumeSymWithinInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, const llvm::APSInt &Adjustment)=0 | clang::ento::RangedConstraintManager | protectedpure virtual |
| canReasonAbout(SVal X) const =0 | clang::ento::ConstraintManager | protectedpure virtual |
| checkNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | protectedvirtual |
| ConstraintManager()=default | clang::ento::ConstraintManager | |
| getBasicVals() const | clang::ento::SimpleConstraintManager | inlineprotected |
| getSValBuilder() const | clang::ento::SimpleConstraintManager | inlineprotected |
| getSymbolManager() const | clang::ento::SimpleConstraintManager | inlineprotected |
| getSymMaxVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | inlinevirtual |
| getSymMinVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | inlinevirtual |
| getSymVal(ProgramStateRef state, SymbolRef sym) const | clang::ento::ConstraintManager | inlinevirtual |
| haveEqualConstraints(ProgramStateRef S1, ProgramStateRef S2) const =0 | clang::ento::ConstraintManager | pure virtual |
| isNull(ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | inline |
| printJson(raw_ostream &Out, ProgramStateRef State, const char *NL, unsigned int Space, bool IsDot) const =0 | clang::ento::ConstraintManager | pure virtual |
| printValue(raw_ostream &Out, ProgramStateRef State, SymbolRef Sym) | clang::ento::ConstraintManager | inlinevirtual |
| ProgramStatePair typedef | clang::ento::ConstraintManager | |
| RangedConstraintManager(ExprEngine *EE, SValBuilder &SB) | clang::ento::RangedConstraintManager | inline |
| removeDeadBindings(ProgramStateRef state, SymbolReaper &SymReaper)=0 | clang::ento::ConstraintManager | pure virtual |
| SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) | clang::ento::SimpleConstraintManager | inline |
| ~ConstraintManager() | clang::ento::ConstraintManager | virtual |
| ~RangedConstraintManager() override | clang::ento::RangedConstraintManager | |
| ~SimpleConstraintManager() override | clang::ento::SimpleConstraintManager |
Generated on for clang by
1.14.0