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

From-SVN: r229508

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 711fbb55c2e238b39ec370efd6bd4d82e3f8edfa..43f6007e9e27c737edc8863ef60e44e7e3ae9f4c 100644 (file)
--- 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 (file)
index 0000000..ea9f5b1
--- /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;