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

From-SVN: r138374

* gnat.dg/specs/genericppc.ads: New test
From-SVN: r138374
ad4cb23c · Arnaud Charlet · Arnaud Charlet · b38c3c9e · ad4cb23c · ad4cb23c
Commit ad4cb23c authored Jul 31, 2008 by Arnaud Charlet Committed by Arnaud Charlet Jul 31, 2008
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 0 deletions

gcc/testsuite/ChangeLog
+4 -0

gcc/testsuite/gnat.dg/specs/genericppc.ads
+7 -0

No files found.
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
+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

--- a/gcc/testsuite/gnat.dg/specs/genericppc.ads
+++ b/gcc/testsuite/gnat.dg/specs/genericppc.ads
+--  { 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);