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