From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b018778453c6e0e4
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!newsfeed-fusi2.netcologne.de!news.netcologne.de!newsfeed-hp2.netcologne.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Pragma Unreferenced in GNAT GPL 2008
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <6d8f0qF1c5qaU1@mid.individual.net>
Date: Sat, 5 Jul 2008 09:57:37 +0200
Message-ID: <lqf1s2wtlwjm.1x8wbvmzckw9d$.dlg@40tude.net>
NNTP-Posting-Date: 05 Jul 2008 09:57:37 CEST
NNTP-Posting-Host: 70740fbe.newsspool1.arcor-online.net
X-Trace: 
 DXC=3^3c4;S7REHgj[ZPFj7ehOic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgBFVdNEhFN_aC[6LHn;2LCVN[<mhadbfdUK`];ag:UdH[G0[OTT@Fk2R@
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:1013
Date: 2008-07-05T09:57:37+02:00
List-Id: <comp.lang.ada>

On Sat, 05 Jul 2008 07:26:49 +0200, Wilhelm Spickermann wrote:

> After installing GNAT GPL 2008 I get unexpected warnings on
> unreferenced variables:
> ...
>       entry Wait (S : Event_State) when True is
>       begin
>          if S = On then
>             requeue Wait_On with abort;
>          else
>             requeue Wait_Off with abort;
>          end if;
>       end Wait;
> 
>       entry Wait_On (S : Event_State) when Value = On is
>          pragma Unreferenced (S);
>       begin
>          null;
>       end Wait_On;
> ...
> "pragma Unreferenced (S);" is honoured by GNAT GPL 2007 and seems
> to be ignored by GNAT GPL 2008. 

Maybe they just have removed it.

But Wait_On need no parameters. It is OK to requeue to a parameterless
entry (9.5.4(3))

P.S. In simple cases, you could try entry families:

   type Event_State is (Signaled, Reset);

   entry Wait (Event_State);

   entry Wait (for S in Event_State) when S = Reset xor Value = On is
   begin
       null;
   end Wait;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de