Lines Matching refs: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());
225 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
226 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
233 SValBuilder &sb) {
242 SValBuilder &svalBuilder) {
248 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
250 svalBuilder.getArrayIndexType());
256 SValBuilder &svalBuilder,
266 offset = getValue(offset, svalBuilder);
279 ASTContext &astContext = svalBuilder.getContext();
285 getValue(offset, svalBuilder),
289 svalBuilder),
290 svalBuilder);
