gcc/testsuite/gnat.dg/range_check.adb

   1 -- { dg-do run }
   2
   3 procedure 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
  16 begin
  17    guard1 := 0;
  18    guard2 := 0;
  19    r (11) := 3;
  20 end;