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,ded6ba3fc5b87b66
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-10-26 14:49:13 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!cyclone-sf.pbi.net!206.13.28.125!cyclone-transit.snfc21.pbi.net!216.218.192.242!news.he.net!mercury.cts.com!thoth.cts.com!not-for-mail
From: Keith Thompson <kst@cts.com>
Newsgroups: comp.lang.ada
Subject: Re: First time Ada has let me down
Date: 26 Oct 2000 14:49:04 -0700
Organization: CTSnet Internet Services
Sender: kst@king.cts.com
Message-ID: <yecwvev1df3.fsf@king.cts.com>
References: <8FD7DEBEEsynoptikdamudderfuck@news>
 <sJAJ5.8835$NP.676523@news.flash.net>
 <8FD8A9ED5andrewloguecdcgycom@142.77.1.194> <39F7AC37.FF6445D@acm.org>
 <8ta429$mtt$1@wanadoo.fr>
X-Trace: thoth.cts.com 972596944 7635 205.163.0.22 (26 Oct 2000 21:49:04 GMT)
X-Complaints-To: abuse@cts.com
X-Newsreader: Gnus v5.5/Emacs 20.3
Xref: supernews.google.com comp.lang.ada:1587
Date: 2000-10-26T14:49:04-07:00
List-Id: <comp.lang.ada>

Guillaume <guifo@wanadoo.fr> writes:
[...]
> "Address clauses should not be used to achieve overlays of objects or 
> overlays of program units. Nor should a given interrupt be linked to more 
> than one entry. Any program using address clauses to achieve such effects 
> is erroneous."

Note that this rule is relaxed somewhat in Ada 95.  The new wording
(RM95-13.3(13)) is

    If an Address is specified, it is the programmer's responsibility
    to ensure that the address is valid; otherwise, program execution
    is erroneous.

-- 
Keith Thompson (The_Other_Keith) kst@cts.com  <http://www.ghoti.net/~kst>
San Diego Supercomputer Center           <*>  <http://www.sdsc.edu/~kst>
Welcome to the last year of the 20th century.