From: Arnaud Charlet <charlet@adacore.com>
Date: Wed, 15 Apr 2009 09:04:56 +0000 (+0000)
Subject: sync1.ads: Fix error now flagged by gnat.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6891bd6c7195e0b8d1e25a712f70d03e5b05a482;p=gcc.git

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 422ef07b747..f55193f6e85 100644
--- 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 268eb227a32..375cf66f579 100644
--- 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 81c2f4aabeb..35349773f88 100644
--- 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;