Re: GCC 4.0 Ada.Containers Cursor danger.

[Pascal Obry <pascal@obry.net>]

Matthew,

> But if you recall, the original example used Replace_Element to replace
> the element designated by a (dangling) cursor.  The OP played with fire
> and he got burned.  If you want to produce the same effect sans cursors,
> then just use Include (which is key-based).

I'm not an Ada beginner and the OP (Dmitriy Anisimkov) did found this problem
in AWS. I did this wrong when I moved AWS from another set of containers to
Ada.Containers.

What does this mean ?

That such problem could occur again. We must ensure that at least the
documentation is clear (very clear) about the semantics here.

I'm not saying that Ada.Containers or Cursor are bad, I already like this
library much (this is not the case for Dmitriy :), what I'm saying is that
this problem could happen to others and it is dangerous enough for us to take
great care about it :)

Just my 2 cents!

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