The Pascal compiler company
6.5.4 It is an error if the pointer-variable of an identified-variable denotes a nil-value.
In other words, it is an error to dereference a pointer variable which is equal to nil (i.e. p^ is an error if p = nil).
This error is always reported.