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