Lines Matching refs:svalBuilder
63 SValBuilder &svalBuilder,
71 static SVal computeExtentBegin(SValBuilder &svalBuilder,
77 return svalBuilder.makeZeroArrayIndex();
86 SValBuilder &svalBuilder) {
101 svalBuilder.makeIntVal(extent.getValue() / constant),
102 svalBuilder);
106 svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder);
131 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
133 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
144 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
151 svalBuilder);
156 SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,
157 svalBuilder.getConditionType());
182 DefinedOrUnknownSVal Size = getDynamicExtent(state, MR, svalBuilder);
189 Size.castAs<nonloc::ConcreteInt>(), svalBuilder);
194 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,
196 svalBuilder.getConditionType());
277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
278 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
294 SValBuilder &svalBuilder) {
300 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
302 svalBuilder.getArrayIndexType());
308 SValBuilder &svalBuilder,
318 offset = getValue(offset, svalBuilder);
331 ASTContext &astContext = svalBuilder.getContext();
337 getValue(offset, svalBuilder),
341 svalBuilder),
342 svalBuilder);