Re: Ada exception block does NOT work?

[gautier_niouzes@hotmail.com]

It looks like a GNAT bug:
1st time with denominator 0 the division raises an exception, 2nd times
it
seems to enter an infinite loop. See the enhanced test.
Did you try with ObjectAda (you can download it). Good (too) for
cross-testing.
HTH
About stocks: here a series of Ada-generated Web pages :-)
---> http://homepage.sunrise.ch/mysunrise/gdm/ind1dlog.htm
______________________________________________________________
Gautier     --     http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!

--the test code is
with Ada.Text_Io;
procedure Trading is
  type Price is delta 0.01 digits 18;
  type Pricearray is array (Positive range <>) of Price;
  procedure Avg (Data : in Pricearray) is
    Avg, Sum : Price'Base := 0.0;
  begin
    Ada.Text_Io.Put ("average:"   );
    for Index in Data'Range loop
      Sum := Sum + Data (Index);
    end loop;
    Ada.Text_Io.Put("#a");
    Avg := Sum / Data'Length; -- <- blocking there on the 2nd try with
denominator 0
    Ada.Text_Io.Put("#b");
    Ada.Text_Io.Put (Price'Image (Avg));
    Ada.Text_Io.New_Line;
  exception
    when others =>
      Ada.Text_Io.Put_Line ("error here!");
  end;
begin
  for Index in reverse 0 .. 9 loop
    Ada.Text_Io.Put_Line ("Main index " & Natural'Image (Index));
    for Step in 1 .. 3 loop
      Ada.Text_Io.Put_Line ("Step " & Natural'Image (Step));
      declare
        Mydata : Pricearray (1 .. Index) :=  (others => 10.0);
      begin
        Avg (Mydata);
      end;
    end loop;
  end loop;
end Trading;
----end the test code