c++ - At what point does memory allocated by malloc get a type?

Question

This question asks what is the dynamic type of the object allocated by malloc and according to the top answer:

The return value of malloc is a block of uninitialized storage. No object has been constructed within that storage. And therefore it has no dynamic type.

This brings another question: at what point does it make sense to say that the storage returned by malloc gets a type. For example:

void *p = malloc(sizeof(int));
int *pi = (int*)p;

can we say that pi above points to an object of dynamic type int despite the fact that it is uninitialized?

Answer 1

The status quo according to the standard is that there's no object there.

[intro.object]/1:

An object is created by a definition ([basic.def]), by a new-expression ([expr.new]) or by the implementation ([class.temporary]) when needed.

See also the discussion in P0137, which would make the above quote the definition of object:

Drafting note: this maintains the status quo that malloc alone is not sufficient to create an object.

(int *)p is none of these.