Using eof on undefined files

Official Description

6.6.6.5 When eof(f) is activated, it is an error if f is undefined.

Error Handling

This error is reported if I/O checking is enabled.