gcc/testsuite/gnat.dg/specs/loop_optimization1_pkg.adb

   1 package body Loop_Optimization1_Pkg is
   2
   3   type Unconstrained_Array_Type
   4     is array (Index_Type range <>) of Element_Type;
   5
   6   procedure Local (UA : in out Unconstrained_Array_Type) is
   7   begin
   8     null;
   9   end;
  10
  11   procedure Proc (CA : in out Constrained_Array_Type) is
  12   begin
  13     Local (Unconstrained_Array_Type (CA));
  14   end;
  15
  16 end Loop_Optimization1_Pkg;