reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
132 RegionRawOffsetV2::computeOffset(state, svalBuilder, location); 143 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); 150 svalBuilder); 155 SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV, 156 svalBuilder.getConditionType()); 181 rawOffset.getRegion()->getExtent(svalBuilder); 189 svalBuilder); 194 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal, 196 svalBuilder.getConditionType());