Lines Matching defs:svalBuilder
60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
73 return svalBuilder.makeZeroArrayIndex();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
116 svalBuilder.getConditionType());
141 rawOffset.getRegion()->getExtent(svalBuilder);
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
148 svalBuilder.getConditionType());
236 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
237 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
253 SValBuilder &svalBuilder) {
259 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
261 svalBuilder.getArrayIndexType());
267 SValBuilder &svalBuilder,
277 offset = getValue(offset, svalBuilder);
290 ASTContext &astContext = svalBuilder.getContext();
296 getValue(offset, svalBuilder),
300 svalBuilder),
301 svalBuilder);