Searched refs:rawOffsetVal (Results 1 – 1 of 1) sorted by relevance
136 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation() local150 rawOffsetVal = simplifiedOffsets.first; in checkLocation()154 SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV, in checkLocation()189 rawOffsetVal = simplifiedOffsets.first; in checkLocation()193 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal, in checkLocation()