There are cases where the compiler can't enforce it: void foo(int *p) { func(p); } How can the compiler know if `p` points to space for 10 i

There are cases where the compiler can't enforce it: void foo(int *p) { func(p); } How can the compiler know if `p` points to space for 10 integers?