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

   1 -- { dg-do compile }
   2
   3 with Static_Initializer5_Pkg; use Static_Initializer5_Pkg;
   4
   5 package Static_Initializer5 is
   6
   7    type Derived is new Rec with record
   8       Target : Boolean;
   9    end record;
  10
  11    Null_Derived : constant Derived := (Null_Rec with Target => False);
  12
  13 end Static_Initializer5;