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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,195bd8ec4227e968 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-02-13 22:05:11 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: [Q] non-limited record and "self-pointer" Date: Sat, 14 Feb 2004 00:04:26 -0600 Organization: Posted via Supernews, http://www.supernews.com Message-ID: <102rekmk9at8a99@corp.supernews.com> References: <86d68pl0tc.fsf@sonnenregen.at.home> X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300 X-Complaints-To: abuse@supernews.com Xref: archiver1.google.com comp.lang.ada:5565 Date: 2004-02-14T00:04:26-06:00 List-Id: "Adam Beneschan" wrote in message news:b4682ab7.0402131624.45fbc352@posting.google.com... ... > See also AI95-00225 (Amendment 200Y), which uses the term "if and only > if" to make it clear that the current instance is not aliased and thus > 'Access and 'Unchecked_Access cannot be used on it. AI-225 is fairly clear that the Ada 95 rule is screwy, and should be fixed. And the fix is to make the use of 'Access illegal unless the type is explicitly declared to be limited. The AI goes on to say that the current wording allows it to work sometimes, but the result is nonsense, because compilers are allowed to make copies of the object, in which the 'Access value would point to the wrong place. It's also interesting that AI came about because Tucker posted a note about a bug found in their compiler by a posting on comp.lang.ada. So it seems that we've had this discussion before here, and that not all implementers got the note. :-) Randy.