Searched refs:RangeLT (Results 1 – 1 of 1) sorted by relevance
671 RangeSet RangeLT = getSymLTRange(State, Sym, From, Adjustment); in assumeSymbolOutOfInclusiveRange() local673 RangeSet New(RangeLT.addRange(F, RangeGT)); in assumeSymbolOutOfInclusiveRange()