From: sjw <simon.j.wright@mac.com>
Subject: Re: Selective suppression of warnings --- gnat on GNU/Linux
Date: Thu, 1 Jan 2009 01:45:48 -0800 (PST)
Date: 2009-01-01T01:45:48-08:00 [thread overview]
Message-ID: <dec66816-32dd-4419-ad23-833c08345108@e3g2000vbe.googlegroups.com> (raw)
In-Reply-To: 79917534-5cc2-4f2e-9b9b-3bae7ba0cc18@r37g2000prr.googlegroups.com
On Dec 31 2008, 7:46 pm, Jerry <lancebo...@qwest.net> wrote:
> pragma Warnings (Off, "formal parameter ""X"" is not
> referenced");
> procedure Mumble (X : Integer) is
> pragma Warnings (On, "formal parameter ""X"" is not
> referenced");
> -- X is ignored here, because blah blah blah...
> begin
> null;
> end Mumble;
In this particular case, pragma Unreferenced (X) would also work (on
the versions of GNAT I use; some of which are old enough not to
recognise this extended form of pragma Warnings).
prev parent reply other threads:[~2009-01-01 9:45 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-12-30 3:13 Selective suppression of warnings --- gnat on GNU/Linux Michael Mounteney
2008-12-30 8:03 ` Ludovic Brenta
2008-12-30 22:49 ` Michael Mounteney
2008-12-30 23:26 ` Robert A Duff
2008-12-30 11:01 ` (see below)
2008-12-30 11:37 ` Georg Bauhaus
2008-12-30 12:05 ` (see below)
2008-12-30 14:11 ` Pascal ranges (was: Selective suppression of warnings --- gnat on GNU/Linux) Georg Bauhaus
2008-12-30 20:19 ` (see below)
2008-12-30 23:19 ` Pascal ranges Robert A Duff
2008-12-30 23:34 ` (see below)
2008-12-31 0:07 ` Robert A Duff
2008-12-31 0:32 ` (see below)
2008-12-30 23:13 ` Selective suppression of warnings --- gnat on GNU/Linux Robert A Duff
2008-12-31 9:46 ` Jean-Pierre Rosen
2008-12-31 14:55 ` Robert A Duff
2008-12-31 16:13 ` Jean-Pierre Rosen
2008-12-31 20:01 ` Robert A Duff
2008-12-31 18:43 ` (see below)
2008-12-31 19:49 ` Robert A Duff
2008-12-31 20:24 ` Jeffrey R. Carter
2008-12-31 22:38 ` Robert A Duff
2008-12-31 19:46 ` Jerry
2008-12-31 22:39 ` Robert A Duff
2008-12-31 23:37 ` Michael Mounteney
2009-01-01 9:45 ` sjw [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox