Searched refs:BufferPtrVal (Results 1 – 1 of 1) sorted by relevance
2394 SVal BufferPtrVal = C.getSVal(Buffer.Expression); in evalMemset() local2399 ZeroSize = ZeroSize->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal); in evalMemset()2406 State = checkNonNull(C, NonZeroSize, Buffer, BufferPtrVal); in evalMemset()2421 State = State->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal); in evalMemset()