Searched refs:assumeSymOutsideInclusiveRange (Results 1 – 3 of 3) sorted by relevance
128 return assumeSymOutsideInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymInclusiveRange()
1928 ProgramStateRef assumeSymOutsideInclusiveRange(3227 ProgramStateRef RangeConstraintManager::assumeSymOutsideInclusiveRange( in assumeSymOutsideInclusiveRange() function in RangeConstraintManager
470 virtual ProgramStateRef assumeSymOutsideInclusiveRange(