Searched refs:RangeConstraintManager (Results 1 – 2 of 2) sorted by relevance
1590 class RangeConstraintManager : public RangedConstraintManager { class1592 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB) in RangeConstraintManager() function in __anon55d9ca500411::RangeConstraintManager2175 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()2258 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()2391 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()2447 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange()2484 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St, in getSymGTRange()2521 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St, in getSymGERange()2587 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St, in getSymLERange()2640 void RangeConstraintManager::printConstraints(raw_ostream &Out, in printConstraints()[all …]
689 SRCS_FUL+= StaticAnalyzer/Core/RangeConstraintManager.cpp