43   void checkLocation(SVal l, bool isLoad, const Stmt*S,
51   SVal byteOffset;
57   RegionRawOffsetV2(const SubRegion* base, SVal offset)  in RegionRawOffsetV2()
65                                          SVal location);
72 static SVal computeExtentBegin(SValBuilder &svalBuilder,  in computeExtentBegin()
117 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,  in checkLocation()
145   SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());  in checkLocation()
156     SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,  in checkLocation()
194     SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,  in checkLocation()
208       SVal ByteOffset = rawOffset.getByteOffset();  in checkLocation()
277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {  in getValue()
283 static inline SVal scaleValue(ProgramStateRef state,  in scaleValue()
293 static SVal addValue(ProgramStateRef state, SVal x, SVal y,  in addValue()
309                                                    SVal location)  in computeOffset()
312   SVal offset = UndefinedVal();  in computeOffset()
326         SVal index = elemReg->getIndex();  in computeOffset()