From: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date: Wed, 28 Oct 2015 22:33:46 +0000 (+0000)
Subject: * gnat.dg/discr44.adb: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b2fb03eb24256ab8c39516f5f1189e0d50c6f9cd;p=gcc.git

* gnat.dg/discr44.adb: New test.

From-SVN: r229508
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 711fbb55c2e..43f6007e9e2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,4 +1,8 @@
-2015-10-26  Jim Wilson  <jim.wilson@linaro.org>
+2015-10-28  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/discr44.adb: New test.
+
+2015-10-28  Jim Wilson  <jim.wilson@linaro.org>
 
 	PR debug/66068
 	* gcc.dg/debug/pr66068.c: New test.
@@ -16,7 +20,7 @@
 	* gcc.target/mips/oddspreg-1.c: Likewise.
 	* gcc.target/mips/oddspreg-2.c: Likewise.
 
-2015-10-05  Senthil Kumar Selvaraj  <senthil_kumar.selvaraj@atmel.com>
+2015-10-28  Senthil Kumar Selvaraj  <senthil_kumar.selvaraj@atmel.com>
 
 	PR target/67839
 	* gcc.target/avr/pr67839.c: New test.
diff --git a/gcc/testsuite/gnat.dg/discr44.adb b/gcc/testsuite/gnat.dg/discr44.adb
new file mode 100644
index 00000000000..ea9f5b139eb
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr44.adb
@@ -0,0 +1,27 @@
+-- { dg-do run }
+-- { dg-options "-gnatws" }
+
+procedure Discr44 is
+
+  function Ident (I : Integer) return Integer is
+  begin
+    return I;
+  end;
+
+  type Int is range 1 .. 10;
+
+  type Str is array (Int range <>) of Character;
+
+  type Parent (D1, D2 : Int; B : Boolean) is record
+    S : Str (D1 .. D2);
+  end record;
+
+  type Derived (D : Int) is new Parent (D1 => D, D2 => D, B => False);
+
+  X1 : Derived (D => Int (Ident (7)));
+
+begin
+  if X1.D /= 7 then
+    raise Program_Error;
+  end if;
+end;