[Bug modula2/120474] New: InOut buffering should flush the WriteLn before the Read

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

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

            Bug ID: 120474
           Summary: InOut buffering should flush the WriteLn before the
                    Read
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: modula2
          Assignee: gaius at gcc dot gnu.org
          Reporter: gaius at gcc dot gnu.org
  Target Milestone: ---

forwarded from the gm2 mailing list:

===========
MODULE essaiget;

FROM InOut IMPORT
WriteString, Read, WriteLn;

VAR
ch : CHAR ;

BEGIN
WriteString("Essai de get");
WriteLn;
Read(ch);
WriteString("Fin de l'Essai de get");
WriteLn;
END essaiget.
===========


I got this: (I entered the "a" character.)

===========
$ gm2 -O3 essaiget.mod -o essaiget
$ ./essaiget
Essai de geta

Fin de l'Essai de get