Searched refs:assumeSymbolOutOfInclusiveRange (Results 1 – 3 of 3) sorted by relevance
96 virtual ProgramStateRef assumeSymbolOutOfInclusiveRange(
328 ProgramStateRef assumeSymbolOutOfInclusiveRange(668 RangeConstraintManager::assumeSymbolOutOfInclusiveRange( in assumeSymbolOutOfInclusiveRange() function in RangeConstraintManager
328 return assumeSymbolOutOfInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymWithinInclusiveRange()