From: Arnaud Charlet <charlet@adacore.com>
Date: Thu, 31 Jul 2008 09:46:03 +0000 (+0000)
Subject: * gnat.dg/specs/genericppc.ads: New test
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad4cb23c9427ffe63bdfd4123edfe749741076b9;p=gcc.git

* gnat.dg/specs/genericppc.ads: New test

From-SVN: r138374
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c4257ea1566..40924d4c578 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-31  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat.dg/specs/genericppc.ads: New test.
+
 2008-07-31  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c/36970
diff --git a/gcc/testsuite/gnat.dg/specs/genericppc.ads b/gcc/testsuite/gnat.dg/specs/genericppc.ads
new file mode 100644
index 00000000000..494a8890b05
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/genericppc.ads
@@ -0,0 +1,7 @@
+--  { dg-do compile }
+--  { dg-options "-gnatc" }
+
+generic
+   type T_Item is private;
+function genericppc (T : in t_Item; I : integer) return integer;
+pragma Precondition (I > 0);