From: Wilhelm Spickermann <quast.20.unbenutzbar@spamgourmet.com>
Subject: Pragma Unreferenced in GNAT GPL 2008
Date: Sat, 05 Jul 2008 07:26:49 +0200
Date: 2008-07-05T07:26:49+02:00 [thread overview]
Message-ID: <6d8f0qF1c5qaU1@mid.individual.net> (raw)
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
next reply other threads:[~2008-07-05 5:26 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-07-05 5:26 Wilhelm Spickermann [this message]
2008-07-05 7:57 ` Pragma Unreferenced in GNAT GPL 2008 Dmitry A. Kazakov
2008-07-05 12:26 ` Wilhelm Spickermann
2008-07-05 12:51 ` Simon Wright
2008-07-09 6:37 ` Wilhelm Spickermann
2008-07-06 0:38 ` anon
2008-07-09 6:29 ` Wilhelm Spickermann
2008-07-08 8:28 ` Alex R. Mosteo
2008-07-09 6:06 ` Wilhelm Spickermann
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox