Searched refs:RangeConstraintManager (Results 1 – 2 of 2) sorted by relevance
1854 class RangeConstraintManager : public RangedConstraintManager { class1856 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB) in RangeConstraintManager() function in __anonaacf511c0511::RangeConstraintManager2262 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()2797 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()2843 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()2867 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal()2873 const llvm::APSInt *RangeConstraintManager::getSymMinVal(ProgramStateRef St, in getSymMinVal()2881 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St, in getSymMaxVal()2896 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()3029 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()[all …]
801 SRCS_FUL+= StaticAnalyzer/Core/RangeConstraintManager.cpp