Re: GNAT NT 3.09 Bug?? or my configuration.

Re: GNAT NT 3.09 Bug?? or my configuration.

[Robert Dewar]

Barry Shiff said

<<I sent this bug to ACT and they could not repeat it>>

Nope, that is not what I told Barry, I don't now how he misinterpreted
what I said. I told him the bug was fixed in the current version of GNAT
(GNAT 3.10) which will be released some time in the future. Barry, perhaps
you just read current, and assumed that this was 3.09. 

We are generally not interested in repeating bugs so much as fixing them :-)
This one is fixed!

GNAT NT 3.09 Bug?? or my configuration.

[Barry and Jackie Schiff]

NT Folks running NT,

I sent this bug to ACT and they could not repeat it. If anybody
else running GNAT 3.09 under NT want to see if compiler bombs
on below program and let me know if I got a configuration
problem it would be great. Maybe if this is not the case
we will let ACT know that maybe a real bug exists.

---------------------------------------
-- Robert I hope this is more helpful this time around. This bug
-- is far from critical just thought I would try and show you
-- what is happening here in my conifguration.
-- Barry Schiff
--
--
-- GNAT BUG:
-- Compiler Version 3.09 NT
-- NT Version : Workstation 4.0 U.S. Released Version
-- Reported By: Barry Schiff schiff@netspace.net.au
-- Date Reported Feb 18 1997
--
-- Description:
-- If a parameter is added to recursive routine
Prompt_For_And_Get_Valid_Option_Number compiler
-- does not bomb. However with no parameters, as-is, compiler bombs.
--
-- Message From compiler follows:
--
-- gnatmake -c gnat_3_09_nt_bug_1.adb
-- gcc -c gnat_3_09_nt_bug_1.adb
-- +===========================GNAT BUG
DETECTED==============================+
-- | Error detected at
gnat_3_09_nt_bug_1.adb:52:13                           |
-- | Please submit bug report by email to
report@gnat.com                     |
-- | Use a subject line meaningful to you and us to track the
bug             |
-- | Include full sources in ASCII in a format compatible with
gnatchop       |
-- | First line of sources must be marked by an Ada -- comment
line           |
-- | Last line of sources must be last line of email message (no
signature!)  |
-- | See gnatinfo.txt file for more info on procedure for submitting
bugs     |
-- | 3.09 (970121) (i386-pc-cygwin32) Assert_Failure at
sinfo.adb:795         |
--
+==========================================================================+
-- gnat_3_09_nt_bug_1.adb:52:13: warning: possible infinite recursion
-- gnat_3_09_nt_bug_1.adb:52:13: warning: Storage_Error may be raised at
runtime
-- compilation abandoned
-- gnatmake: "gnat_3_09_nt_bug_1.adb" compilation error

-- Compilation exited abnormally with code 2 at Fri Feb 21 20:41:41

with Text_Io;


procedure Gnat_3_09_Nt_Bug_1 is

    Last_Option_Number : constant := 18;
    type An_Option_Number is new Natural range 0..Last_Option_Number;
    Line : String (1..1000);
    Length : Natural;
    Option_Number : An_Option_Number;

    -- Add dummy parameter to below routine to "fix: bug.
    -- eg. Prompt_For_And_Get_Valid_Option_Number(Dummy : in integer) is
    procedure Prompt_For_And_Get_Valid_Option_Number is

    begin
        Text_Io.Put_Line("Select Option From The Menu Below...");
        Text_Io.Put_Line("0) ");
        Text_Io.Put_Line("1) ");
        Text_Io.Put_Line("2) ");
        Text_Io.Put_Line("3) ");
        Text_Io.Put_Line("4) ");
        Text_Io.Put_Line("5) ");
        Text_Io.Put_Line("6) ");
        Text_Io.Put_Line("7) ");
        Text_Io.Put_Line("8) ");
        Text_Io.Put_Line("9) ");
        Text_Io.Put_Line("10)");
        Text_Io.Put_Line("11)");
        Text_Io.Put_Line("12)");
        Text_Io.Put_Line("13)");
        Text_Io.Put_Line("14)");
        Text_Io.Put_Line("15)");
        Text_Io.Put_Line("16)");
        Text_Io.Put_Line("17)");
        Text_Io.Put_Line("18)");

        Text_Io.Put("Option Number => ");
        Text_Io.Get_Line(Item => Line, Last => Length);

        Option_Number := An_Option_Number'Value(Line(1..Length));
    exception
        when Constraint_Error =>
            Text_Io.Put_Line("** Illegal Entry - Please Reenter **");
            Prompt_For_And_Get_Valid_Option_Number;
    end Prompt_For_And_Get_Valid_Option_Number;

begin
   Prompt_For_And_Get_Valid_Option_Number;
end Gnat_3_09_Nt_Bug_1;