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