Searched refs:AdjustedSym (Results 1 – 1 of 1) sorted by relevance
312 SymbolRef AdjustedSym = Sym; in assumeSymWithinInclusiveRange() local313 computeAdjustment(AdjustedSym, Adjustment); in assumeSymWithinInclusiveRange()326 return assumeSymbolWithinInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymWithinInclusiveRange()328 return assumeSymbolOutOfInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymWithinInclusiveRange()