gcc-4.9/gcc/testsuite/gnat.dg/range_check.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

-- { dg-do run }

procedure range_check is
   function ident (x : integer) return integer is
   begin   
      return x;
   end ident;

   guard1 : Integer;

   r : array (1 .. ident (10)) of integer;
   pragma Suppress (Index_Check, r);

   guard2 : Integer;

begin
   guard1 := 0;
   guard2 := 0;
   r (11) := 3;
end;