Searched defs:assumeInclusiveRange (Results 1 – 2 of 2) sorted by relevance
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value, in assumeInclusiveRange() function in ConstraintManager
726 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange() function 739 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, assumeInclusiveRange() function