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,5095dad989e89e23 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-12-13 07:34:25 PST From: lutz@iks-jena.de (Lutz Donnerhacke) Newsgroups: comp.lang.ada Subject: Re: Does a null pointer always raise Constraint_Error? Date: 13 Dec 2000 15:17:18 GMT Organization: IKS GmbH Jena Distribution: world Message-ID: References: <9074fi$93b$1@nnrp1.deja.com> <3A3253B1.AD8F32CF@ebox.tninet.se> <90u1vi$uah$1@nnrp1.deja.com> <90ukfm$c4p$1@nnrp1.deja.com> <3A36511D.973D82BD@nowhere.com> <916gsr$e6e$1@nnrp1.deja.com> NNTP-Posting-Host: taranis.iks-jena.de Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: slrn/0.9.5.7 (UNIX) Path: supernews.google.com!sn-xit-02!supernews.com!newsfeed.online.be!news.netcologne.de!stueberl.r-kom.de!news-ffm.transmedia.de!news1.transmedia.de!news-FFM2.ecrc.net!news.iks-jena.de!lutz Xref: supernews.google.com comp.lang.ada:3063 Date: 2000-12-13T15:17:18+00:00 List-Id: * Florian Weimer wrote: >There a two language-defined checks involved prior to the array >comparison. However, 11.6(5) seems to permit the omission of these >checks, but I'm not sure about that. Relational Operators and Membership Tests 16. 2. For two one-dimensional arrays of the same type, matching components are those (if any) whose index values match in the following sense: the lower bounds of the index ranges are defined to match, and the successors of matching indices are defined to match; The only problem can be to do not dereference the access variables first. Yep: I see the bug. Thanx everybody. -- http://www.tm.oneiros.de/calendar/2001/index.html