diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-07-31 09:46:03 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 11:46:03 +0200 |
| commit | ad4cb23c9427ffe63bdfd4123edfe749741076b9 (patch) | |
| tree | 4433ba662463631e7a1853b4a58ad609ce84a3c2 /gcc | |
| parent | b38c3c9e469195d5d26a8b82b869b3de7fb181dd (diff) | |
| download | gcc-ad4cb23c9427ffe63bdfd4123edfe749741076b9.zip gcc-ad4cb23c9427ffe63bdfd4123edfe749741076b9.tar.gz gcc-ad4cb23c9427ffe63bdfd4123edfe749741076b9.tar.bz2 | |
* gnat.dg/specs/genericppc.ads: New test
From-SVN: r138374
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/genericppc.ads | 7 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c4257ea..40924d4 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 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); |