aggr21.adb: New test.

	* gnat.dg/aggr21.adb: New test.
	* gnat.dg/aggr21_pkg.ad[sb]: New helper.

From-SVN: r204710

gcc/testsuite/ChangeLog

+2013-11-12  Tristan Gingold  <gingold@adacore.com>
+
+	* gnat.dg/aggr21.adb: New test.
+	* gnat.dg/aggr21_pkg.ad[sb]: New helper.
+
 2013-11-12  Jeff Law  <law@redhat.com>
 
 	* gcc.dg/tree-ssa/isolate-1.c: Update expected output.

gcc/testsuite/gnat.dg/aggr21.adb

+-- { dg-do run }
+
+with Aggr21_Pkg; use Aggr21_Pkg;
+
+procedure Aggr21 is
+  V : Rec;
+begin
+  V.A := 12;
+  V.S (1 .. 10) := "Hello init";
+  V.N := 123;
+  Init (V);
+  --  Probably not reliable, but the compiler is supposed not to modify V.S
+  pragma Assert (V.s (1 .. 5) = "Hello");
+end;

gcc/testsuite/gnat.dg/aggr21_pkg.adb

+package body Aggr21_Pkg is
+
+   procedure Init (R : out Rec) is
+   begin
+      R := (A => 5, S => <>, N => 7);
+   end;
+
+end Aggr21_Pkg;

gcc/testsuite/gnat.dg/aggr21_pkg.ads

+package Aggr21_Pkg is
+
+   type Rec is record
+      A : Integer;
+      S : String (1 .. 120);
+      N : Natural;
+   end record;
+
+   procedure Init (R : out Rec);
+
+end Aggr21_Pkg;