gcc/testsuite/gnat.dg/specs/elab3.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do compile }

pragma Restrictions(No_Elaboration_Code);

package Elab3 is

   type T_List is array (Positive range <>) of Integer;
   type T_List_Access is access constant T_List;

   type R is record
     A : T_List_Access;
   end record;

   C : constant R := (A => null);

end Elab3;