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