Lines Matching refs:SVal
39 void checkLocation(SVal l, bool isLoad, const Stmt*S,
47 SVal byteOffset;
53 RegionRawOffsetV2(const SubRegion* base, SVal offset)
61 SVal location);
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
84 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
114 SVal lowerBound =
145 SVal upperbound
226 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
231 // value as an SVal. Used by 'computeOffset'.
232 static inline SVal scaleValue(ProgramStateRef state,
240 // Add an SVal to another, treating unknown and undefined values as
242 static SVal addValue(ProgramStateRef state, SVal x, SVal y,
258 SVal location)
261 SVal offset = UndefinedVal();
275 SVal index = elemReg->getIndex();