From ad4cb23c9427ffe63bdfd4123edfe749741076b9 Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@adacore.com>
Date: Thu, 31 Jul 2008 09:46:03 +0000
Subject: [PATCH] * gnat.dg/specs/genericppc.ads: New test

From-SVN: r138374
---
 gcc/testsuite/ChangeLog                    | 4 ++++
 gcc/testsuite/gnat.dg/specs/genericppc.ads | 7 +++++++
 2 files changed, 11 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/specs/genericppc.ads

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c4257ea1566f..40924d4c5784 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 000000000000..494a8890b050
--- /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);
-- 
2.47.2