StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp

44 class RegionRawOffsetV2 {
49   RegionRawOffsetV2()
53   RegionRawOffsetV2(const SubRegion* base, SVal offset)
59   static RegionRawOffsetV2 computeOffset(ProgramStateRef state,
101   const RegionRawOffsetV2 &rawOffset =
102     RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
214 void RegionRawOffsetV2::dump() const {
218 void RegionRawOffsetV2::dumpToStream(raw_ostream &os) const {
256 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(ProgramStateRef state,
269             return RegionRawOffsetV2(subReg, offset);
271         return RegionRawOffsetV2();
277           return RegionRawOffsetV2();
282           return RegionRawOffsetV2();
294           return RegionRawOffsetV2();
301   return RegionRawOffsetV2();