2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
[official-gcc.git] / gcc / testsuite / gnat.dg / array14.adb
blob2d45cf10db4209fed73be349d3d036744bc67b59
1 -- { dg-do compile }
2 -- { dg-options "-gnatws" }
4 with Array14_Pkg; use Array14_Pkg;
6 package body Array14 is
8 package Nested is
10 Length : constant SSE.Storage_Count := Length2;
12 subtype Encoded_Index_Type is SSE.Storage_Count range 1 .. Length;
13 subtype Encoded_Type is SSE.Storage_Array (Encoded_Index_Type'Range);
15 procedure Encode (Input : in Integer; Output : out Encoded_Type);
17 end;
19 package body Nested is
21 procedure Encode (Input : in Integer; Output : out Encoded_Type) is
22 begin
23 Encode2 (Input, Output);
24 end;
26 end;
28 procedure Init is
29 O : Nested.Encoded_Type;
30 for O'Alignment use 4;
31 begin
32 null;
33 end;
35 end Array14;