gcc/testsuite/gnat.dg/addr12_b.ads

   1 package Addr12_B is
   2
   3    type Entry_Type is record
   4       Auto_Init : Boolean;
   5    end record;
   6
   7    type Entry_Range  is range 1 .. 20;
   8    type Entries_Type is array (Entry_Range) of Entry_Type;
   9
  10    Null_Entry : constant Entry_Type := Entry_Type'(Auto_Init => False);
  11
  12    type Shared_Context_Type is limited private;
  13
  14    function Initial_State return Shared_Context_Type
  15    with Volatile_Function;
  16
  17 private
  18
  19    type Shared_Context_Type is limited record
  20       Data : Entries_Type;
  21    end record
  22    with Volatile;
  23
  24 end Addr12_B;