Re: GCC 4.0 Ada.Containers Cursor danger.

[Pascal Obry <pascal@obry.net>]

Martin Dowie <martin.dowie@btopenworld.com> writes:

> I doubt if that Ada.Containers would be used in systems that have safety
> concerns.

I think Dmitriy has a good point. For the first time in Ada we have the
possibility to create easily a dangling pointer using Cursor. This was not
possible before except by using Unchecked_Deallocation.

Now I do not see this as an argument to remove them. But in fact the problem
we are talking about has happened in AWS. We can't dismiss this just by saying
do not use Cursor :) It is a potential problem, we must be sure that it is a
known one. As Matthew said it is possible to wrap cursors to avoid this
problem for safety reasons.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595