From 6891bd6c7195e0b8d1e25a712f70d03e5b05a482 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 15 Apr 2009 09:04:56 +0000 Subject: [PATCH] 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 --- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gnat.dg/specs/limited1.ads | 2 -- gcc/testsuite/gnat.dg/sync1.ads | 2 +- 3 files changed, 6 insertions(+), 3 deletions(-) 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 + + * gnat.dg/sync1.ads: Fix error now flagged by gnat. + * gnat.dg/specs/limited1.ads: Ditto. + 2009-04-14 Michael Meissner 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; -- 2.30.2