reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
132 RegionRawOffsetV2::computeOffset(state, svalBuilder, location); 155 SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV, 164 state->assume(*lowerBoundToCheck); 174 state = state_withinLowerBound; 194 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal, 204 state->assume(*upperboundToCheck); 209 if (isTainted(state, ByteOffset)) { 223 state = state_withinUpperBound; 227 checkerContext.addTransition(state);