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 __anonaf982a120511::RangeConstraintManager2796 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()2895 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()3028 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()3084 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange()3121 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St, in getSymGTRange()3158 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St, in getSymGERange()3224 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St, in getSymLERange()3284 void RangeConstraintManager::printConstraints(raw_ostream &Out, in printConstraints()[all …]
771 SRCS_FUL+= StaticAnalyzer/Core/RangeConstraintManager.cpp