Lines Matching full: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
236 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
241 // value as an SVal. Used by 'computeOffset'.
242 static inline SVal scaleValue(ProgramStateRef state,
250 // Add an SVal to another, treating unknown and undefined values as
252 static SVal addValue(ProgramStateRef state, SVal x, SVal y,
268 SVal location)
271 SVal offset = UndefinedVal();
285 SVal index = elemReg->getIndex();
