diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-07-31 12:49:43 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 14:49:43 +0200 |
| commit | 37ff8abac09eb81c2ab5092399f830bc4cd65766 (patch) | |
| tree | c81ef0fc4e7a12182c2ee1775ad8840ed78c57c4 | |
| parent | f32b9cd1280eceac1990f4ca3a8ba85c493ce651 (diff) | |
| download | gcc-37ff8abac09eb81c2ab5092399f830bc4cd65766.zip gcc-37ff8abac09eb81c2ab5092399f830bc4cd65766.tar.gz gcc-37ff8abac09eb81c2ab5092399f830bc4cd65766.tar.bz2 | |
* gnat.dg/specs/sync_iface_test.ads: New test.
From-SVN: r138402
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/sync_iface_test.ads | 14 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5df9a43..f819f28 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-07-31 Arnaud Charlet <charlet@adacore.com> + + * gnat.dg/specs/sync_iface_test.ads: New test. + 2008-07-31 H.J. Lu <hongjiu.lu@intel.com> * gcc.dg/torture/stackalign/pr16660-1.c: Include "check.h". diff --git a/gcc/testsuite/gnat.dg/specs/sync_iface_test.ads b/gcc/testsuite/gnat.dg/specs/sync_iface_test.ads new file mode 100644 index 0000000..4bccd25 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/sync_iface_test.ads @@ -0,0 +1,14 @@ +-- { dg-do compile } +-- { dg-options "-gnatc" } + +package Sync_Iface_Test is + type Iface is limited interface; + procedure Do_Test + (Container : in out Iface; + Process : access procedure (E : Natural)) is abstract; + + protected type Buffer is new Iface with + overriding procedure Do_Test + (Process : access procedure (E : Natural)); + end; +end; |