tree 6447248e523c228020c39349cf5ee71fc48767eb
parent 5f9f3e4c7238d8c57e2c6cce1299c772a740e926
author Jean Perier <jperier@nvidia.com> 1631272033 +0200
committer Copybara-Service <copybara-worker@google.com> 1631272223 -0700

[flang] Signal EOR in non advancing IO and move to next record

When an end of record is met in non advancing IO:
- Set IOSTAT if present according to 12.11.4 (5).
- Position the file to the next record (12.11.4 (4)).

The previous code was only signaling EOR for fixed record length IO.
Reading at 12.11.4, I do not find the rational for this condition, so I
removed it.
It also does not seem the presence of padding should prevent
the EOR signaling.

The positionning to the next record was block when EOR is signaling
in FinishReadingRecord because ErrorHandler.isError() is true in this
case.
EOR in input is not an error, but I am not confident to modify
ErrorHandler.isError() to cover that. However, In FinishReadingRecord,
the code should not bail if the error is simply an end of record.

I did not check the SIZE requirements here because GetSize runtime is
not yet implemented.

Differential Revision: https://reviews.llvm.org/D109505

GitOrigin-RevId: 05b4e49a17f5e997c0ccf4086dc0d2b8cec7e263