1-- { dg-do run }
2
3procedure range_check is
4   function ident (x : integer) return integer is
5   begin
6      return x;
7   end ident;
8
9   guard1 : Integer;
10
11   r : array (1 .. ident (10)) of integer;
12   pragma Suppress (Index_Check, r);
13
14   guard2 : Integer;
15
16begin
17   guard1 := 0;
18   guard2 := 0;
19   r (11) := 3;
20end;
21