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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f891f,7be483be03d93e95
X-Google-Attributes: gidf891f,public
X-Google-Thread: 103376,7be483be03d93e95
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Renaming GNAT? (was Re: Ada to C convertor)
Date: 1996/02/17
Message-ID: <dewar.824577751@schonberg>#1/1
X-Deja-AN: 139888705
references: <DLrGA0.8BM@irvine.com> <dewar.822666437@schonberg>
   <822747617.19372@assen.demon.co.uk> <dewar.822772377@schonberg>
   <4eg3op$atb@dfw.dfw.net> <4f8smt$cpo@stc06.ctd.ornl.gov>
 <4fd49r$sr@nms.telepost.no> <dewar.824161921@schonberg>
 <4ft23a$hke@mulga.cs.mu.OZ.AU>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada,comp.lang.misc
Date: 1996-02-17T00:00:00+00:00
List-Id: <comp.lang.ada>

Fergus asked

"No?  What about 'unrestricted_access and such like?
Don't they constitute a distinct dialect?"

The Ada 95 LRM specifically allows an implementation to add impl defined
attributes (and pragmas).

But GNAT does NOT have any extensions other than such impl defined
features specifically allowed by the RM.

To find out if your program uses impl defined attributes, turn on the
features analysis switch -gnatx9, you will get a full cross reference
of any use of implementation dependent attributes or pragmas.