Searched refs:RangedConstraintManager (Results 1 – 4 of 4) sorted by relevance
21 RangedConstraintManager::~RangedConstraintManager() {} in ~RangedConstraintManager()23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, in assumeSym()101 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange( in assumeSymInclusiveRange()133 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State, in assumeSymUnsupported()152 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State, in assumeSymRel()217 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
1854 class RangeConstraintManager : public RangedConstraintManager {1857 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()
407 class RangedConstraintManager : public SimpleConstraintManager {409 RangedConstraintManager(ExprEngine *EE, SValBuilder &SB) in RangedConstraintManager() function412 ~RangedConstraintManager() override;
803 SRCS_FUL+= StaticAnalyzer/Core/RangedConstraintManager.cpp