Searched refs:BufVal (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 365 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess() local
366 state = checkNonNull(C, state, FirstBuf, BufVal); in CheckBufferAccess()
388 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
403 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess()
404 state = checkNonNull(C, state, SecondBuf, BufVal); in CheckBufferAccess()
408 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); in CheckBufferAccess()
841 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound() local
855 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
|