From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: calling function but ignoring results
Date: Wed, 30 Jun 2021 20:31:05 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lyzgv7kv46.fsf@pushface.org>
References: <69a59fdc-72bb-4202-99fc-d776530de653n@googlegroups.com>
	<sbhgth$r7a$1@gioia.aioe.org>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
Cancel-Lock: sha1:ce2xNSvpy96rKABuQ4mS8tdERVM=
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:62309
List-Id: <comp.lang.ada>

"Luke A. Guest" <laguest@archeia.com> writes:

> declare
>    Dont_Care : constant Boolean := foo (x, y); -- Uppercase is so pascal!
>    pragma Unused (Dont_Care); -- GNAT specific
> begin
>    null;
> end;

There are several names that you don't need pragma Unreferenced (not
Unused) for - see
https://docs.adacore.com/live/wave/gnat_rm/html/gnat_rm/gnat_rm/implementation_defined_pragmas.html#pragma-unreferenced

   "For the variable case, warnings are never given for unreferenced
   variables whose name contains one of the substrings DISCARD, DUMMY,
   IGNORE, JUNK, UNUSED in any casing. Such names are typically to be
   used in cases where such warnings are expected. Thus it is never
   necessary to use pragma Unreferenced for such variables, though it is
   harmless to do so."