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,92f1b9f519795959
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Gnat 3.15p pragma issues
Date: 03 Nov 2005 17:56:54 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccbr11gx1l.fsf@shell01.TheWorld.com>
References: <1131029395.700984.154230@f14g2000cwb.googlegroups.com>
 <dkdc6o$ihr$1@hudsucker.umdac.umu.se>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1131058614 25713 192.74.137.71 (3 Nov 2005 22:56:54
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Thu, 3 Nov 2005 22:56:54 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: g2news1.google.com comp.lang.ada:6161
Date: 2005-11-03T17:56:54-05:00
List-Id: <comp.lang.ada>

Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:

> A compiler is not obliged to implement a pragma.

Compilers are obliged to implement the language defined pragmas as
specified in the RM.   What this means in practise depends on the
pragma.  Pragma Inline can legally be ignored, and in fact all
implementations ignore pragma Inline in some cases.  Pragma
Elaborate_Body, on the other hand, has a very specific meaning,
and compilers must implement it.

Then there are implementation-defined pragmas.  Compilers are not
obliged to implement each other's implementation-defined pragmas (of
course!).

- Bob