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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.65.142 with SMTP id x14mr17932158pas.14.1404834058169;
        Tue, 08 Jul 2014 08:40:58 -0700 (PDT)
X-Received: by 10.50.98.8 with SMTP id ee8mr102556igb.12.1404834057908; Tue,
 08 Jul 2014 08:40:57 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!hn18no325429igb.0!news-out.google.com!gf2ni1igb.0!nntp.google.com!hn18no325427igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 8 Jul 2014 08:40:57 -0700 (PDT)
In-Reply-To: <57a862ed-e49e-4bea-b0de-5ffbfc7ecf99@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=66.126.103.122;
 posting-account=KSa2aQoAAACOxnC0usBJYX8NE3x3a1Xq
NNTP-Posting-Host: 66.126.103.122
References: <0e0b9ac2-e793-4cc5-8d8d-d3441ca28a58@googlegroups.com>
 <1j7b0m3yptffy$.1cztnkty8elrv$.dlg@40tude.net> <lou8e0$7u2$3@dont-email.me>
 <ee4cjxhhe7yi$.kqeq5ati5vrg$.dlg@40tude.net> <loupft$48j$1@dont-email.me>
 <nboccqyjxkzx$.10p3g2l6gzzdd.dlg@40tude.net> <lov4ga$3v9$1@dont-email.me>
 <lp20qc$iju$1@loke.gir.dk> <lpcck1$vtv$1@dont-email.me>
 <lpf7hv$am9$1@loke.gir.dk>
 <lpgn76$u7h$1@dont-email.me>
 <57a862ed-e49e-4bea-b0de-5ffbfc7ecf99@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cd0341a1-c3dc-4f56-97c5-7cf1c6b741f1@googlegroups.com>
Subject: Re: Forcing GNAT to use 32-bit load/store instructions on ARM?
From: Adam Beneschan <adambeneschan@gmail.com>
Injection-Date: Tue, 08 Jul 2014 15:40:57 +0000
Content-Type: text/plain; charset=ISO-8859-1
X-Received-Bytes: 2035
X-Received-Body-CRC: 1664858811
Xref: news.eternal-september.org comp.lang.ada:20805
Date: 2014-07-08T08:40:57-07:00
List-Id: <comp.lang.ada>

On Tuesday, July 8, 2014 8:36:03 AM UTC-7, Adam Beneschan wrote:
> On Tuesday, July 8, 2014 5:12:22 AM UTC-7, Simon Clubley wrote:
 
> > What are the submission details for Ada-Comment ? 

> http://www.ada-auth.org/standards/12aarm/html/AA-0-2.html, paragraph 58ff.

Actually, http://www.ada-auth.org/standards/12rm/html/RM-0-2.html is slightly better.  (I tend to consult the AARM first always, so that's why I came up with that link.)

                                  -- Adam