Reading when file is not open

Official Description

6.9.1 It is an error if the buffer-variable is undefined immediately prior to any use of read.

This apparently means that it is an error to read from a file that is either not open or has been opened for writing.

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