gcc/testsuite/gnat.dg/array14.adb

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