Re: Pragma Unreferenced in GNAT GPL 2008

[anon@anon.org (anon)]

A quick patch is just to comment out the line. That way the file still 
maintains all original statements.

The "pragma Unreferenced ( ... ) ;" is part of the GNAT extra pragma 
extensions. 

0. So, it depends on where you downloaded the package.  Some maintainer 
   do not recognize the statement, while others do.

1. You can also, check to see if you have;
      pragma Restrictions ( "No_Implementation_Pragmas" ) ;
   in your source or configuration files.  This statement will cause an 
   compiler error, if the compiler encounters any GNAT only "pragma" 
   statement.

2. Then check the command line options.  The GNAT maintainer may have 
   created a command line options to turn on/off GNAT extensions.

In <6d8f0qF1c5qaU1@mid.individual.net>, Wilhelm Spickermann <quast.20.unbenutzbar@spamgourmet.com> writes:
>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
>