sync1.ads: Fix error now flagged by gnat.

	* gnat.dg/sync1.ads: Fix error now flagged by gnat.
	* gnat.dg/specs/limited1.ads: Ditto.

From-SVN: r146088

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 422ef07b747d0aefb80b76ed71220800fe9f9cc9..f55193f6e85020aae88fd50d15688f8d2d01f1de 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-15  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/sync1.ads: Fix error now flagged by gnat.
+       * gnat.dg/specs/limited1.ads: Ditto.
+
 2009-04-14  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        PR testsuite/39769

diff --git a/gcc/testsuite/gnat.dg/specs/limited1.ads b/gcc/testsuite/gnat.dg/specs/limited1.ads
index 268eb227a320d70c0f8b8382ca425bf1b31cab50..375cf66f5797464dd04c33a206a81218fc540a64 100644 (file)
--- a/gcc/testsuite/gnat.dg/specs/limited1.ads
+++ b/gcc/testsuite/gnat.dg/specs/limited1.ads
@@ -5,8 +5,6 @@ package limited1 is
    
    type Buffer is limited interface;
    type Synchronous_Buffer_Type is synchronized interface and Buffer;
-   type Client_Buffer_Type is new Synchronous_Buffer_Type with private;
 
 private
-   type Client_Buffer_Type is new Synchronous_Buffer_Type with null record;
 end limited1;

diff --git a/gcc/testsuite/gnat.dg/sync1.ads b/gcc/testsuite/gnat.dg/sync1.ads
index 81c2f4aabebbe6c9f7ca30058ff8fc616f0ed5da..35349773f88197caa3f796b91ac6d62846347f98 100644 (file)
--- a/gcc/testsuite/gnat.dg/sync1.ads
+++ b/gcc/testsuite/gnat.dg/sync1.ads
@@ -1,7 +1,7 @@
 package sync1 is
    type Chopstick_Type is synchronized interface;
    
-   type Chopstick is new Chopstick_Type with private;
+   type Chopstick is synchronized new Chopstick_Type with private;
 private
    protected type Chopstick is new Chopstick_Type with
       entry Pick_Up;