gcc/testsuite/gnat.dg/array14.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 with Array14_Pkg; use Array14_Pkg;
   5
   6 package body Array14 is
   7
   8   package Nested is
   9
  10     Length : constant SSE.Storage_Count := Length2;
  11
  12     subtype Encoded_Index_Type is SSE.Storage_Count range 1 .. Length;
  13     subtype Encoded_Type is SSE.Storage_Array (Encoded_Index_Type'Range);
  14
  15     procedure Encode (Input : in Integer; Output : out Encoded_Type);
  16
  17   end;
  18
  19   package body Nested is
  20
  21     procedure Encode (Input : in Integer; Output : out Encoded_Type) is
  22     begin
  23       Encode2 (Input, Output);
  24     end;
  25
  26   end;
  27
  28   procedure Init is
  29     O : Nested.Encoded_Type;
  30     for O'Alignment use 4;
  31   begin
  32     null;
  33   end;
  34
  35 end Array14;