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

   1 -- { dg-do compile }
   2
   3 pragma Restrictions(No_Elaboration_Code);
   4
   5 package Elab3 is
   6
   7    type T_List is array (Positive range <>) of Integer;
   8    type T_List_Access is access constant T_List;
   9
  10    type R is record
  11      A : T_List_Access;
  12    end record;
  13
  14    C : constant R := (A => null);
  15
  16 end Elab3;