Lines Matching full:state
57 static RegionRawOffsetV2 computeOffset(const ProgramState *state,
95 const ProgramState *state = checkerContext.getState();
96 const ProgramState *originalState = state;
100 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
113 = svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(),
123 state->assume(*lowerBoundToCheck);
133 state = state_withinLowerBound;
145 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
155 state->assume(*upperboundToCheck);
164 state = state_withinUpperBound;
168 if (state != originalState)
169 checkerContext.generateNode(state);
224 static inline SVal scaleValue(const ProgramState *state,
227 return sb.evalBinOpNN(state, BO_Mul, baseVal,
234 static SVal addValue(const ProgramState *state, SVal x, SVal y,
241 return svalBuilder.evalBinOpNN(state, BO_Add,
248 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(const ProgramState *state,
277 offset = addValue(state,
279 scaleValue(state,
