40   void checkLocation(SVal l, bool isLoad, const Stmt*S,
48   SVal byteOffset;
54   RegionRawOffsetV2(const SubRegion* base, SVal offset)  in RegionRawOffsetV2()
62                                          SVal location);
69 static SVal computeExtentBegin(SValBuilder &svalBuilder,  in computeExtentBegin()
114 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,  in checkLocation()
142   SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());  in checkLocation()
154     SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,  in checkLocation()
193     SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,  in checkLocation()
207       SVal ByteOffset = rawOffset.getByteOffset();  in checkLocation()
276 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {  in getValue()
282 static inline SVal scaleValue(ProgramStateRef state,  in scaleValue()
292 static SVal addValue(ProgramStateRef state, SVal x, SVal y,  in addValue()
308                                                    SVal location)  in computeOffset()
311   SVal offset = UndefinedVal();  in computeOffset()
325         SVal index = elemReg->getIndex();  in computeOffset()