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,a27864f6019f6e7f
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-11-07 20:30:08 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!cyclone-sjo1.usenetserver.com!news-out.usenetserver.com!newsfeed.skycache.com!Cidera!cpk-news-hub1.bbnplanet.com!news.gtei.net!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: Simpler Question (was Assigning to dereferenced null access
 variable)
Date: Wed, 08 Nov 2000 04:20:02 GMT
Organization: Deja.com - Before you buy.
Message-ID: <8uak9e$onq$1@nnrp1.deja.com>
References: <3A05A609.4CE6@li.net> <3A0847ED.49AF@li.net>
 <8u9r97$jmb$2@wanadoo.fr> <3A089948.5979@li.net>
NNTP-Posting-Host: 166.72.70.48
X-Article-Creation-Date: Wed Nov 08 04:20:02 2000 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
X-Http-Proxy: 1.0 x51.deja.com:80 (Squid/1.1.22) for client 166.72.70.48
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:1873
Date: 2000-11-08T04:20:02+00:00
List-Id: <comp.lang.ada>

In article <3A089948.5979@li.net>,
  Vincent Marciante <marciant@li.net> wrote:
> so, I will send a report to ACT

No need, you are using a pretty old version of the compiler
(3.12) and this problem of not checking for a constraint error
in the case of a null pointer pointing to nothing was fixed
a while ago (needless to say this was found in some peculiar
test program, it is hard to imagine a real program being
affected by this :-) Interestingly the ACATS/ACVC tests
did not test this particular case.


Sent via Deja.com http://www.deja.com/
Before you buy.