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(),
117 svalBuilder.getConditionType());
142 rawOffset.getRegion()->getExtent(svalBuilder);
147 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
149 svalBuilder.getConditionType());
237 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
238 return isa<UndefinedVal>(val) ? svalBuilder.makeArrayIndex(0) : val;
245 SValBuilder &sb) {
254 SValBuilder &svalBuilder) {
260 return svalBuilder.evalBinOpNN(state, BO_Add,
262 svalBuilder.getArrayIndexType());
268 SValBuilder &svalBuilder,
278 offset = getValue(offset, svalBuilder);
291 ASTContext &astContext = svalBuilder.getContext();
297 getValue(offset, svalBuilder),
301 svalBuilder),
302 svalBuilder);
