comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Simpler Question (was Assigning to dereferenced null access variable)
Date: Wed, 08 Nov 2000 04:20:02 GMT
Date: 2000-11-08T04:20:02+00:00	[thread overview]
Message-ID: <8uak9e$onq$1@nnrp1.deja.com> (raw)
In-Reply-To: 3A089948.5979@li.net

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.



  reply	other threads:[~2000-11-08  4:20 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-11-05  0:00 Assigning to dereferenced null access variable Vincent Marciante
2000-11-07  0:00 ` Simpler Question (was Assigning to dereferenced null access variable) Vincent Marciante
2000-11-07  0:00   ` Jean-Pierre Rosen
2000-11-07  0:00     ` Vincent Marciante
2000-11-08  4:20       ` Robert Dewar [this message]
2000-11-08  0:00         ` GNAT for OS/2 (was Re: Simpler Question (was Assigning ...)) Vincent Marciante
2000-11-10  1:52           ` tjerick
2000-11-08  0:00         ` Simpler Question (was Assigning to dereferenced null access variable) Vincent Marciante
2000-11-09  4:43           ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox