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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,60c8b2ba217a0a9d
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: gnade error
Date: Wed, 15 Nov 2006 09:28:26 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccodr8eqd1.fsf@shell01.TheWorld.com>
References: <sa464dicuwz.fsf@margay.local> <ur6w6w3ed.fsf@stephe-leake.org>
 <vDm6h.1062516$084.547719@attbi_s22>
 <1163526771.847437.58180@f16g2000cwb.googlegroups.com>
 <t_t6h.145522$aJ.59366@attbi_s21>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1163600907 22820 192.74.137.71 (15 Nov 2006 14:28:27
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Wed, 15 Nov 2006 14:28:27 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:lz/1zxCfBYrJ0HbBAByDl1aAMus=
Xref: g2news2.google.com comp.lang.ada:7474
Date: 2006-11-15T09:28:26-05:00
List-Id: <comp.lang.ada>

"Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org> writes:

> OK, a *legal* pragma should not ...

There are many pragmas that cause other parts of the program to be
illegal.  Pragma Restrictions, for example, has that as its main
purpose.  A pragma that goes the other direction (causes an otherwise
illegal program to be legal) is in rather poor taste, but there are some
cases of that, too -- rather obscure cases.

But you're right about pragma Inline -- a pragma Inline cannot affect
the legality of the program (so long as the pragma itself obeys the
rules, such as the names have to denote subprograms).

However, many compilers have switches that invoke nonstandard modes.
In GNAT, you can tell it to warn about pragmas Inline that are not
obeyed, and you can also tell it to treat warnings as errors (-gnatwe
switch).  In this nonstandard mode, a pragma Inline that does not inline
makes the program illegal.

- Bob