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

   1 --  { dg-do compile }
   2
   3 package CPP_Assignment is
   4    type T is tagged record
   5       Data : Integer := 0;
   6    end record;
   7    pragma Convention (CPP, T);
   8
   9    Obj1 : T := (Data => 1);                                                        Obj2 : T'Class := Obj1;
  10 end;