p could be int *p = rand(); or that code could be in a function int f(int *p) which may be called from completely different compilation units (or even a

p could be int *p = rand(); or that code could be in a function int f(int *p) which may be called from completely different compilation units (or even across a dynamic library boundary) meaning there's no way for the compiler to know what p is.