Did I understand it or not

[Anh Vo <anhvofrcaus@gmail.com>]

with Ada.Text_Io; use Ada;

procedure The_Unexpected is
   package Char_Io is new Ada.Text_Io.Enumeration_Io (Character);
   Health_Choice : Character := 'T';
   use Text_Io;
begin
   Health_Selection: loop
      begin
         Put ("Select Health Status '0', '1' or '2' => ");
         Char_Io.Get (Health_Choice);
         Put_Line (" < character '" & Health_Choice & "' is selected");
         if Health_Choice = '0' or else
            Health_Choice = '1' or else
            Health_Choice = '2' then
              exit;
         else
           Put ("Illegal selection! Choose another character > ");
         end if;
      exception
         when Data_Error =>
            Put_Line ("Use single quote like '0' or '1'");
            Flush;
      end;
   end loop Health_Selection;
end The_Unexpected;
---------------------------------------
GNAT was used on Linux and PC

I thought this piece of code should behave correctly regardless good or bad input from the operator. If a bad data is input, it is rejected and ask for another data input. However, it went to an infinite loop when a bad input is entered. For example, the program is in infinite loop if the operator type 1 instead of '1' when prompted.

I strongly believe that Flush subprogram did not clear the previous input from the terminal. Thus, Char_Io.Get completes without waiting for the input from the operator.

Once it is confirmed, I will compile a bug report. Thank you in advance for your help.

Anh Vo