Searched refs:BufVal (Results 1 – 1 of 1) sorted by relevance
432 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess() local433 State = checkNonNull(C, State, Buffer, BufVal); in CheckBufferAccess()458 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()953 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound() local968 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()