Official Description
6.5.4 It is an error if the pointer-variable of an identified-variable is undefined.
Simplified Description
In other words, it is an error to dereference a pointer variable which is undefined (i.e. p^ is an error if p is undefined).
Error Handling
This error is always reported.