Searched refs:FirstBuf (Results 1 – 1 of 1) sorted by relevance
270 const Expr *FirstBuf,874 const Expr *FirstBuf, in IsFirstBufInBound() argument887 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound()902 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()