Re: Ada exception block does NOT work?

["Frank J. Lhota" <NOSPAM.lhota@adarose.com>]

I tried this program with ObjectAda, and found that ObjectAda did not 
have this problem.

I also tried the following variant of this program, where I replaced all 
of the fixed decimal arithmetic with integer arithmetic. This version 
does compile and execute properly, so it appears that the problem is 
related to how GNAT handles fixed point arithmetic errors.

--the test code is
with Ada.Text_Io;
procedure Trading is
   type Price is range -16#8000_0000# .. 16#7FFF_FFFF#;
   type Pricearray is array (Positive range <>) of Price;
   procedure Avg (Data : in Pricearray) is
     Avg, Sum : Price'Base := 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);
       begin
         Avg (Mydata);
       end;
     end loop;
   end loop;
end Trading;
----end the test code


-- 
"All things extant in this world,
Gods of Heaven, gods of Earth,
Let everything be as it should be;
Thus shall it be!"
- Magical chant from "Magical Shopping Arcade Abenobashi"

"Drizzle, Drazzle, Drozzle, Drome,
Time for the this one to come home!"
- Mr. Lizard from "Tutor Turtle"