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