64                                          SValBuilder &svalBuilder,
72 static SVal computeExtentBegin(SValBuilder &svalBuilder,  in computeExtentBegin()  argument
78     return svalBuilder.makeZeroArrayIndex();  in computeExtentBegin()
87                      SValBuilder &svalBuilder) {  in getSimplifiedOffsets()  argument
102               svalBuilder.makeIntVal(extent.getValue() / constant),  in getSimplifiedOffsets()
103               svalBuilder);  in getSimplifiedOffsets()
107             svalBuilder.makeIntVal(extent.getValue() - constant), svalBuilder);  in getSimplifiedOffsets()
132   SValBuilder &svalBuilder = checkerContext.getSValBuilder();  in checkLocation()  local
134     RegionRawOffsetV2::computeOffset(state, svalBuilder, location);  in checkLocation()
145   SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());  in checkLocation()
151                                svalBuilder);  in checkLocation()
156     SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,  in checkLocation()
157                                               svalBuilder.getConditionType());  in checkLocation()
182     DefinedOrUnknownSVal Size = getDynamicExtent(state, MR, svalBuilder);  in checkLocation()
189                                svalBuilder);  in checkLocation()
194     SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,  in checkLocation()
196                                               svalBuilder.getConditionType());  in checkLocation()
277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {  in getValue()  argument
278   return val.isUndef() ? svalBuilder.makeZeroArrayIndex() : val;  in getValue()
294                      SValBuilder &svalBuilder) {  in addValue()  argument
300   return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),  in addValue()
302                                  svalBuilder.getArrayIndexType());  in addValue()
308                                                    SValBuilder &svalBuilder,  in computeOffset()  argument
318           offset = getValue(offset, svalBuilder);  in computeOffset()
331         ASTContext &astContext = svalBuilder.getContext();  in computeOffset()
337                           getValue(offset, svalBuilder),  in computeOffset()
341                           svalBuilder),  in computeOffset()
342                           svalBuilder);  in computeOffset()