Searched refs:RangedConstraintManager (Results 1 – 4 of 4) sorted by relevance
21 RangedConstraintManager::~RangedConstraintManager() {} in ~RangedConstraintManager()23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, in assumeSym()95 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange( in assumeSymInclusiveRange()127 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State, in assumeSymUnsupported()146 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State, in assumeSymRel()211 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
1590 class RangeConstraintManager : public RangedConstraintManager {1593 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()
316 class RangedConstraintManager : public SimpleConstraintManager {318 RangedConstraintManager(ExprEngine *EE, SValBuilder &SB) in RangedConstraintManager() function321 ~RangedConstraintManager() override;
690 SRCS_FUL+= StaticAnalyzer/Core/RangedConstraintManager.cpp