Re: Ada exception block does NOT work?

[Anders Wirzenius <anders@no.email.thanks.invalid>]

Ludovic Brenta <ludovic.brenta@tiscali.be> writes:

> I tried to reduce the test case, but it works for me; the exception is
> raised and handled as many times as I want, and there is no infinite
> loop.
> 

I modified Ludovic's example to use attributes:

with Ada.Exceptions;
with Ada.Text_IO;
procedure G is
   type T is delta 0.01 digits 18;
   --  type T is new Integer range 1..10;

   type T_Array is array (Positive range <>) of T;
   procedure P (N : in T_Array) is
      A : T'Base;
   begin
      A := T (10) / N'Length;
      Ada.Text_IO.Put_Line ("no problem: " & T'Base'Image (A));
   exception
      when E: others =>
         Ada.Text_IO.Put_Line ("Exception handled");
         Ada.Text_IO.Put_Line (Ada.Exceptions.Exception_Information (E));
   end P;
begin
   P ((1 .. 3 => T (10)));
   P ((1 .. 0 => T (10)));
   P ((1 .. 0 => T (10)));
end G;

... and got on a Cygwin/Windows XP:

$ gnat
GNAT 3.15p  (20020523) Copyright 1996-2002 Free Software Foundation, Inc.

List of available commands

GNAT BIND               gnatbind
GNAT CHOP               gnatchop
GNAT COMPILE            gnatmake -f -u
GNAT ELIM               gnatelim
GNAT FIND               gnatfind
GNAT KRUNCH             gnatkr
GNAT LINK               gnatlink
GNAT LIST               gnatls
GNAT MAKE               gnatmake
GNAT NAME               gnatname
GNAT PREPROCESS         gnatprep
GNAT STANDARD           gnatpsta
GNAT STUB               gnatstub
GNAT XREF               gnatxref

Commands FIND, LIST and XREF accept project file switches -vPx, -Pprj and -Xnam=val


AWI003@fiw9430 /cygdrive/c/a/ada/investigate/trading
$ gnatmake g
gcc -c g.adb
gnatbind -x g.ali
gnatlink g.ali

AWI003@fiw9430 /cygdrive/c/a/ada/investigate/trading
$ ./g.exe
no problem:  3.33
Exception handled
Exception name: CONSTRAINT_ERROR
Message: EXCEPTION_INT_DIVIDE_BY_ZERO

... stopped using ctrl-C

AWI003@fiw9430 /cygdrive/c/a/ada/investigate/trading
$

-- 
Anders