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!news1.google.com!news.glorb.com!wn14feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada From: anon@anon.org (anon) Subject: Re: Pragma Unreferenced in GNAT GPL 2008 Reply-To: anon@anon.org (anon) References: <6d8f0qF1c5qaU1@mid.individual.net> X-Newsreader: IBM NewsReader/2 2.0 Message-ID: Date: Sun, 06 Jul 2008 00:38:47 GMT NNTP-Posting-Host: 12.64.140.105 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1215304727 12.64.140.105 (Sun, 06 Jul 2008 00:38:47 GMT) NNTP-Posting-Date: Sun, 06 Jul 2008 00:38:47 GMT Organization: AT&T Worldnet Xref: g2news1.google.com comp.lang.ada:1026 Date: 2008-07-06T00:38:47+00:00 List-Id: 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 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 >