On 6/26/26 14:14, Sebastian Wittmeier via Std-Proposals wrote:
> We have many different constructs with slightly different menaing:
>
>
> void* means: there exists a T, for which casting into T gives a valid pointer, which can be dereferenced

That's not quite right. The void * that malloc (or operator new for
that matter, not to be confused with the actual operator called 'new')
returns does not point to an existing object yet.

-- 
Rainer Deyke - rainerd_at_[hidden]