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());
226 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
227 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
234 SValBuilder &sb) {
243 SValBuilder &svalBuilder) {
249 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
251 svalBuilder.getArrayIndexType());
257 SValBuilder &svalBuilder,
267 offset = getValue(offset, svalBuilder);
280 ASTContext &astContext = svalBuilder.getContext();
286 getValue(offset, svalBuilder),
290 svalBuilder),
291 svalBuilder);