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!nx01.iad01.newshosting.com!newshosting.com!130.81.64.211.MISMATCH!cycny01.gnilink.net!cyclone1.gnilink.net!spamkiller.gnilink.net!gnilink.net!trnddc06.POSTED!20ae255c!not-for-mail
Newsgroups: comp.lang.ada
From: Anonymous Coward <bogus_addy@bogus_domain.net>
Subject: pragma Convention ignored (sometimes)
References: <1131029395.700984.154230@f14g2000cwb.googlegroups.com>
 <dkdc6o$ihr$1@hudsucker.umdac.umu.se> <wccbr11gx1l.fsf@shell01.TheWorld.com>
Message-Id: <slrndmlnu9.kq0.bogus_addy@tango.mindfuq.org>
User-Agent: slrn/0.9.7.4 (Linux)
Date: Fri, 04 Nov 2005 02:12:57 GMT
NNTP-Posting-Host: 141.149.78.234
X-Complaints-To: abuse@verizon.net
X-Trace: trnddc06 1131070377 141.149.78.234 (Thu, 03 Nov 2005 21:12:57 EST)
NNTP-Posting-Date: Thu, 03 Nov 2005 21:12:57 EST
Xref: g2news1.google.com comp.lang.ada:6166
Date: 2005-11-04T02:12:57+00:00
List-Id: <comp.lang.ada>

In article <wccbr11gx1l.fsf@shell01.TheWorld.com>, Robert A Duff wrote:
> 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.  

What about Pragma Convention?

I've noticed that gnat will sometimes honor a pragma convention on an
enumerated type (which means extending the size to 32 bits on an x86
platform), but in other cases it seems to ignore the pragma
convention.  ie, the following code:

  type Some_Enum_Type is (one, two, three);

  pragma Convention (Convention => C, Entity => Some_Enum_Type);

should create a 32 bit enum, but in fact doing a 'size reveals that
it's 2 bits!