Searched refs:assumeSymWithinInclusiveRange (Results 1 – 3 of 3) sorted by relevance
126 return assumeSymWithinInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymInclusiveRange()
1930 ProgramStateRef assumeSymWithinInclusiveRange(3240 ProgramStateRef RangeConstraintManager::assumeSymWithinInclusiveRange( in assumeSymWithinInclusiveRange() function in RangeConstraintManager
466 virtual ProgramStateRef assumeSymWithinInclusiveRange(