Lines Matching defs:RangeConstraintManager
1 //== RangeConstraintManager.cpp - Manage range constraints.------*- C++ -*--==//
9 // This file defines RangeConstraintManager, a class that tracks simple
1872 class RangeConstraintManager : public RangedConstraintManager {
1874 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB)
2277 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
2809 // RangeConstraintManager implementation
2812 bool RangeConstraintManager::canReasonAbout(SVal X) const {
2858 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
2882 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St,
2887 const llvm::APSInt *RangeConstraintManager::getSymMinVal(ProgramStateRef St,
2893 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St,
2906 RangeConstraintManager::removeDeadBindings(ProgramStateRef State,
3039 RangeSet RangeConstraintManager::getRange(ProgramStateRef State,
3044 ProgramStateRef RangeConstraintManager::setRange(ProgramStateRef State,
3051 // assumeSymX methods: protected interface for RangeConstraintManager.
3063 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym,
3079 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,
3096 RangeConstraintManager::getSymLTRange(ProgramStateRef St, SymbolRef Sym,
3125 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym,
3133 RangeConstraintManager::getSymGTRange(ProgramStateRef St, SymbolRef Sym,
3162 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym,
3170 RangeConstraintManager::getSymGERange(ProgramStateRef St, SymbolRef Sym,
3199 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym,
3207 RangeConstraintManager::getSymLERange(llvm::function_ref<RangeSet()> RS,
3236 RangeConstraintManager::getSymLERange(ProgramStateRef St, SymbolRef Sym,
3243 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym,
3250 ProgramStateRef RangeConstraintManager::assumeSymWithinInclusiveRange(
3260 ProgramStateRef RangeConstraintManager::assumeSymOutsideInclusiveRange(
3273 void RangeConstraintManager::printJson(raw_ostream &Out, ProgramStateRef State,
3281 void RangeConstraintManager::printValue(raw_ostream &Out, ProgramStateRef State,
3299 void RangeConstraintManager::printConstraints(raw_ostream &Out,
3370 void RangeConstraintManager::printEquivalenceClasses(raw_ostream &Out,
3406 void RangeConstraintManager::printDisequalities(raw_ostream &Out,