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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b018778453c6e0e4,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!feeder.erje.net!newsfeed.kamp.net!newsfeed.kamp.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Wilhelm Spickermann <quast.20.unbenutzbar@spamgourmet.com>
Newsgroups: comp.lang.ada
Subject: Pragma Unreferenced in GNAT GPL 2008
Date: Sat, 05 Jul 2008 07:26:49 +0200
Message-ID: <6d8f0qF1c5qaU1@mid.individual.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: individual.net Tp+0uq+Hc/vXGk1KnHdH8Q8o4XVQYN2CbxcpYIaHWXvZ2leRNG
Cancel-Lock: sha1:AxYM4YpmWHIOGUilRJPx5B5lHEY=
Xref: g2news1.google.com comp.lang.ada:1012
Date: 2008-07-05T07:26:49+02:00
List-Id: <comp.lang.ada>

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. 

Is this a compiler bug?

Wilhelm Spickermann