From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Gnat 3.15p pragma issues
Date: 03 Nov 2005 17:56:54 -0500
Date: 2005-11-03T17:56:54-05:00 [thread overview]
Message-ID: <wccbr11gx1l.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: dkdc6o$ihr$1@hudsucker.umdac.umu.se
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
next prev parent reply other threads:[~2005-11-03 22:56 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-11-03 15:03 Gnat 3.15p pragma issues Erik Woulfe
2005-11-03 16:00 ` Colin Paul Gloster
2005-11-03 22:56 ` Robert A Duff [this message]
2005-11-04 2:12 ` pragma Convention ignored (sometimes) Anonymous Coward
2005-11-04 5:19 ` Jeffrey R. Carter
2005-11-05 2:54 ` Justin Gombos
2005-11-03 17:42 ` Gnat 3.15p pragma issues Gautier Write-only
2005-11-03 23:00 ` Robert A Duff
2005-11-04 2:51 ` Steve
2005-11-04 13:02 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox