gcc-4.9/gcc/testsuite/gnat.dg/specs/loop_optimization1_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13

-- { dg-excess-errors "no code generated" }

generic

  type Element_Type is private;
  type Index_Type is (<>);
  type Constrained_Array_Type is array (Index_Type) of Element_Type;

package Loop_Optimization1_Pkg is

  procedure Proc (CA : in out Constrained_Array_Type);

end Loop_Optimization1_Pkg;