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: 103376,e8c8d1c63ffacf0d X-Google-Attributes: gid103376,public From: Robert A Duff Subject: Re: Constraint checking of actuals passed to Attributes Date: 2000/05/16 Message-ID: #1/1 X-Deja-AN: 624115357 Sender: bobduff@world.std.com (Robert A Duff) References: <391250A8.99D1585C@hotmail.com> <39171B69.2F983487@averstar.com> <8f93lm$1es$1@nnrp1.deja.com> <8f9snr$vbr$1@nnrp1.deja.com> <391C543F.83B2A408@averstar.com> <8fhnnj$ltd$1@nnrp1.deja.com> <8fhtbt$sb4$1@nnrp1.deja.com> Organization: The World Public Access UNIX, Brookline, MA Newsgroups: comp.lang.ada Date: 2000-05-16T00:00:00+00:00 List-Id: Ted Dennison writes: > > In article , > Robert A Duff wrote: > > Certainly you can cause abnormal objects, and erroneousness, by > certain > > misuses of address clauses and unchecked conversions of access values, > > both of which can be used to make overlays. > > Can you? The relevant section in 13.9.1 only mentions aborted > assignements and parameters passed to imported procedures. Well, for address clauses, I guess I should have said just "cause erroneousness". If it can do that, then it can do any other bad thing you can name, so it's kind of silly to argue about whether it can cause abnormal values. 13.3(13) says it can be erroneous. For unchecked conversions, 13.9(11) says the result can be abnormal except in certain (non-pointerish) cases. The difference between abnormal and erroneous is pretty small -- abnormal is just one small step short of disaster (where erroneous = disaster). >... But then > paragraph 14 does say that objects can become abnormal in other ways > too. Perhaps my problem is that I'm missing where "abmormal" is truly > defined. Well, I was going to admonish you to look it up in the index, but I see the index is incomplete in this case. :-( I suggest you get the plain-ascii version of the AARM, and search for abnormal. - Bob