Searched refs:assumeSymbolWithinInclusiveRange (Results 1 – 3 of 3) sorted by relevance
92 virtual ProgramStateRef assumeSymbolWithinInclusiveRange(
324 ProgramStateRef assumeSymbolWithinInclusiveRange(657 RangeConstraintManager::assumeSymbolWithinInclusiveRange( in assumeSymbolWithinInclusiveRange() function in RangeConstraintManager
326 return assumeSymbolWithinInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymWithinInclusiveRange()