Lines Matching refs:state
59 static RegionRawOffsetV2 computeOffset(ProgramStateRef state,
97 ProgramStateRef state = checkerContext.getState();
98 ProgramStateRef originalState = state;
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
124 state->assume(*lowerBoundToCheck);
134 state = state_withinLowerBound;
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
156 state->assume(*upperboundToCheck);
160 if (state->isTainted(rawOffset.getByteOffset()))
173 state = state_withinUpperBound;
177 if (state != originalState)
178 checkerContext.addTransition(state);
242 static inline SVal scaleValue(ProgramStateRef state,
245 return sb.evalBinOpNN(state, BO_Mul, baseVal,
252 static SVal addValue(ProgramStateRef state, SVal x, SVal y,
259 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
266 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(ProgramStateRef state,
295 offset = addValue(state,
297 scaleValue(state,
