Searched refs:rawOffsetVal (Results 1 – 1 of 1) sorted by relevance
138 NonLoc rawOffsetVal = rawOffset.getByteOffset(); in checkLocation() local151 rawOffsetVal = simplifiedOffsets.first; in checkLocation()155 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()