summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/range_check.adb
blob: 18839a1aaaa88fcbe0ac9c71cf77f004692605dc (plain)
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;