Re: Array Help?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Simon Wright <simon@pushface.org> writes:

> I know that GNAT is a work-in-progress, but it doesn't raise C_E with
> GNAT GPL 2011.

Did you turn on assertions?  They're off by default in GNAT.
You need to use a switch or a pragma.

It works with the latest GNAT Pro.  But this shows I was wrong
when I said it raises Constraint_Error.  I momentarily forgot that
it raises Assert_Failure.  Some folks think it should raise
Constraint_Error, and Ada 2012 isn't quite finished, so...

% gnatmake -f -gnata -gnat2012 array_test.adb 
gcc -c -gnata -gnat2012 array_test.adb
gnatbind -x array_test.ali
gnatlink array_test.ali
% ./array_test

raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : predicate failed at array_test.adb:14
% cat array_test.adb
procedure Array_Test is

   type Integer_Array is array (Positive range <>) of Integer
     with Dynamic_Predicate => Integer_Array'First = 1;

   procedure Foo (Param : in out Integer_Array) is
   begin
      null;
   end Foo;

   A : Integer_Array (1 .. 10) := (others => 0);

begin
   Foo (A (3 .. 8));
end Array_Test;
% 

- Bob