Lines Matching refs:SVal
39 void checkLocation(SVal l, bool isLoad, const Stmt*S,
47 SVal byteOffset;
53 RegionRawOffsetV2(const SubRegion* base, SVal offset) in RegionRawOffsetV2()
61 SVal location);
68 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
84 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad, in checkLocation()
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); in checkLocation()
114 SVal lowerBound = in checkLocation()
145 SVal upperbound in checkLocation()
226 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
232 static inline SVal scaleValue(ProgramStateRef state, in scaleValue()
242 static SVal addValue(ProgramStateRef state, SVal x, SVal y, in addValue()
258 SVal location) in computeOffset()
261 SVal offset = UndefinedVal(); in computeOffset()
275 SVal index = elemReg->getIndex(); in computeOffset()