Searched refs:BufLoc (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 393 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) { in CheckBufferAccess() local
396 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
413 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) { in CheckBufferAccess() local
416 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
860 Optional<Loc> BufLoc = BufStart.getAs<Loc>(); in IsFirstBufInBound() local
861 if (!BufLoc) in IsFirstBufInBound()
865 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy); in IsFirstBufInBound()
|