Searched refs:RangeConstraintManager (Results 1 – 2 of 2) sorted by relevance
225 class RangeConstraintManager : public RangedConstraintManager { class227 RangeConstraintManager(SubEngine *SE, SValBuilder &SVB) in RangeConstraintManager() function in __anon825ff60b0111::RangeConstraintManager315 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()394 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()458 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()493 RangeConstraintManager::getRangeForMinusSymbol(ProgramStateRef State, in getRangeForMinusSymbol()560 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange()596 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St, in getSymGTRange()632 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St, in getSymGERange()668 RangeSet RangeConstraintManager::getSymLERange( in getSymLERange()[all …]
604 SRCS_FUL+= StaticAnalyzer/Core/RangeConstraintManager.cpp