gcc/testsuite/gnat.dg/lto4.ads

   1 with System.Storage_Elements;
   2
   3 package Lto4 is
   4
   5    package SSE renames System.Storage_Elements;
   6
   7    type SS_Ptr is new SSE.Integer_Address;
   8
   9    type Memory is array (SS_Ptr range <>) of SSE.Storage_Element;
  10    for Memory'Alignment use Standard'Maximum_Alignment;
  11
  12    type Chunk_Id (First, Last : SS_Ptr) is record
  13       Mem : Memory (First .. Last);
  14    end record;
  15
  16    type Chunk_Ptr is access all Chunk_Id;
  17
  18    type Stack_Id is record
  19       Current_Chunk : Chunk_Ptr;
  20    end record;
  21
  22    type Stack_Ptr is access Stack_Id;
  23
  24    procedure SS_Allocate (Stack : Stack_Ptr);
  25
  26 end Lto4;