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