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