From e9dc054758a019d3687d1b7e4e188bd5d2468444 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <gingold@adacore.com>
Date: Tue, 12 Nov 2013 17:34:16 +0000
Subject: [PATCH] aggr21.adb: New test.

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

From-SVN: r204710
---
 gcc/testsuite/ChangeLog              |  5 +++++
 gcc/testsuite/gnat.dg/aggr21.adb     | 14 ++++++++++++++
 gcc/testsuite/gnat.dg/aggr21_pkg.adb |  8 ++++++++
 gcc/testsuite/gnat.dg/aggr21_pkg.ads | 11 +++++++++++
 4 files changed, 38 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/aggr21.adb
 create mode 100644 gcc/testsuite/gnat.dg/aggr21_pkg.adb
 create mode 100644 gcc/testsuite/gnat.dg/aggr21_pkg.ads

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 82d0e7a14d4..290af4e116d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/gcc/testsuite/gnat.dg/aggr21.adb b/gcc/testsuite/gnat.dg/aggr21.adb
new file mode 100644
index 00000000000..3dd332705ea
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aggr21.adb
@@ -0,0 +1,14 @@
+-- { 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;
diff --git a/gcc/testsuite/gnat.dg/aggr21_pkg.adb b/gcc/testsuite/gnat.dg/aggr21_pkg.adb
new file mode 100644
index 00000000000..5cdd089cf1e
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aggr21_pkg.adb
@@ -0,0 +1,8 @@
+package body Aggr21_Pkg is
+
+   procedure Init (R : out Rec) is
+   begin
+      R := (A => 5, S => <>, N => 7);
+   end;
+
+end Aggr21_Pkg;
diff --git a/gcc/testsuite/gnat.dg/aggr21_pkg.ads b/gcc/testsuite/gnat.dg/aggr21_pkg.ads
new file mode 100644
index 00000000000..3a14963b130
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/aggr21_pkg.ads
@@ -0,0 +1,11 @@
+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;
-- 
2.30.2