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.224.125.72 with SMTP id x8mr4217608qar.5.1380206903544; Thu, 26 Sep 2013 07:48:23 -0700 (PDT) X-Received: by 10.182.181.72 with SMTP id du8mr31200obc.8.1380206903488; Thu, 26 Sep 2013 07:48:23 -0700 (PDT) Path: border1.nntp.dca3.giganews.com!border2.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!d5no1938886qap.0!news-out.google.com!9ni329qaf.0!nntp.google.com!d5no1938885qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 26 Sep 2013 07:48:23 -0700 (PDT) In-Reply-To: <62fd156b-0be2-4465-aeba-287ec9ce22e0@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=RxNzCgoAAACA5KmgtFQuaU-WaH7rjnAO NNTP-Posting-Host: 66.126.103.122 References: <62fd156b-0be2-4465-aeba-287ec9ce22e0@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8b2c53f7-9018-4817-82a7-c93835c3866c@googlegroups.com> Subject: Re: Gnat's Handling of Record with Address Clause From: Adam Beneschan Injection-Date: Thu, 26 Sep 2013 14:48:23 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Original-Bytes: 2194 Xref: number.nntp.dca.giganews.com comp.lang.ada:183476 Date: 2013-09-26T07:48:23-07:00 List-Id: On Thursday, September 26, 2013 7:23:36 AM UTC-7, Eryndlia Mavourneen wrote= : I haven't looked over the whole post yet, but just looking at this part: > RM 13.1(22) says: "An implementation need not support the specification f= or a representation aspect that contains nonstatic expressions, unless each= nonstatic expression is a name that statically denotes a constant declared= before the entity." >=20 > The overall effect of all this appears to be that Gnat is allowed to disa= llow a dynamically-determined address for an object. If this is what is ha= ppening here (not a bug in Gnat), then it would seem that any kind of OS wo= rk, looping through a kernel linked list, for instance, would not be possib= le. it seems that you could still use System.Address_To_Access_Conversions to a= chieve what you need. (RM 13.7.2) -- Adam