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

From-SVN: r229508

gcc/testsuite/ChangeLog

-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.

gcc/testsuite/gnat.dg/discr44.adb

+-- { 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;