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

From-SVN: r138374

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c4257ea1566f12f5f40c1a070d47a7f13a8aea66..40924d4c5784f6842688af03b882ac2dae42da69 100644 (file)
--- 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 (file)
index 0000000..494a889
--- /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);