gcc/testsuite/gnat.dg/discr3.ads

   1 package discr3 is
   2    type E  is range  0..255;
   3    type R1 is range  1..5;
   4    type R2 is range 11..15;
   5    type S1 is array(R1 range <>) of E;
   6    type S2 is array(R2 range <>) of E;
   7    V1 : S1( 2..3)  := (0,0);
   8    V2 : S2(12..13) := (1,1);
   9    subtype R3 is R1 range 2..3;
  10    V3 : S1 (R3);
  11 end discr3;