Searched refs:rawOffsetVal (Results 1 – 1 of 1) sorted by relevance
138 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation() local152 rawOffsetVal = simplifiedOffsets.first; in checkLocation()156 SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV, in checkLocation()190 rawOffsetVal = simplifiedOffsets.first; in checkLocation()194 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal, in checkLocation()