Searched refs:FirstBuf (Results 1 – 1 of 1) sorted by relevance
166 const Expr *FirstBuf,339 const Expr *FirstBuf, in CheckBufferAccess() argument356 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess()357 state = checkNonNull(C, state, FirstBuf, BufVal); in CheckBufferAccess()379 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()381 const Expr *warningExpr = (WarnAboutSize ? Size : FirstBuf); in CheckBufferAccess()