[Bug modula2/115057] TextIO.ReadRestLine raise an exception for insufficient buffer

[gaius at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115057

--- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> ---
Created attachment 58214
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58214&action=edit
Proposed fix

Here is a proposed fix - which I'll commit (if/when) a full bootstrap
completes.