Get_Immediate does not read CR in CRLF pairs

[Marius Amado-Alves <amado.alves@gmail.com>]

Behaviour of Ada.Text_IO on GNAT/Windows 11:

(1) Get_Immediate does not read the CR in CRLF pairs

(2) Get_Immediate does not read the ending CRLF pair at all (in loop terminated upon End_Of_File)

(3) an extra ending CRLF pair is output

Does this behaviour follow from the ARM?
Do other compilers behave 'better'?

Sequential_IO instantiated with Character works correctly (so I am not blocked, just curious:-)

Thanks.
______
with Ada.Text_IO; use Ada.Text_IO;

procedure Get_Immediate_Test is
   C: Character;
   F_In: File_Type;
   F_Out: File_Type;

   procedure Default_Files_With_End_Of_File is
   begin
      while not End_Of_File loop
         Get_Immediate (C);
         Put (Character'Pos (C)'Img);
      end loop;
   end;

   procedure Default_Files_With_Exception is
   begin
      loop
         Get_Immediate (C);
         Put (Character'Pos (C)'Img);
      end loop;
   exception
      when others => null;
   end;

   procedure Named_Files_With_End_Of_File is
   begin
      Open (F_In, In_File, "imm_test_in_file.txt");
      Create (F_Out, Out_File, "imm_test_out_file.txt");
      while not End_Of_File loop
         Get_Immediate (F_In, C);
         Put (F_Out, Character'Pos (C)'Img);
      end loop;
      Close (F_In);
      Close (F_Out);
   end;

   procedure Named_Files_With_Exception is
   begin
      Open (F_In, In_File, "imm_test_in_file.txt");
      Create (F_Out, Out_File, "imm_test_out_file.txt");
      begin
         loop
            Get_Immediate (F_In, C);
            Put (F_Out, Character'Pos (C)'Img);
         end loop;
      exception
         when others =>
            Close (F_In);
            Close (F_Out);
      end;
   end;

begin
   Named_Files_With_Exception;
end;