The Pascal compiler company
The Pascal compiler company
6.5.4 It is an error if the pointer-variable of an identified-variable is undefined.
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).
This error is always reported.