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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no 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:50:06 PST Path: supernews.google.com!sn-xit-02!supernews.com!wn4feed!worldnet.att.net!128.230.129.106!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Does a null pointer always raise Constraint_Error? Date: Wed, 13 Dec 2000 15:37:47 GMT Organization: Deja.com Message-ID: <91854a$mk0$1@nnrp1.deja.com> 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: 205.232.38.41 X-Article-Creation-Date: Wed Dec 13 15:37:47 2000 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x52.deja.com:80 (Squid/1.1.22) for client 205.232.38.41 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:3065 Date: 2000-12-13T15:37:47+00:00 List-Id: In article , lutz@iks-jena.de (Lutz Donnerhacke) wrote: > Possible, but irrelevant IMHO. Two empty arrays of > the same component type > are equal per definition. THis is an easy HO to have, and that is why I noted the example, but look more carefully at my example, it is not comparing empty arrays, it is comparing deferenced null pointers, and a constraint error is required even though there is nothing to compare! Actually, in this simple form, a compiler is not likely to get this wrong, since there are simple examples like this in the ACATS test suite. Sent via Deja.com http://www.deja.com/