Ada.Containers.Indefinite_Ordered_Maps of gcc 4.0.1 has bug ?

["Y.Tomino" <demoonlit@panathenaia.halfmoon.jp>]

Hello.

Ada.Containers.Indefinite_Ordered_Maps.Adjust seems to me having bug.
Although good if it's my misunderstanding.

pragma Ada_05;
with Ada.Containers.Indefinite_Ordered_Maps;
package M is new Ada.Containers.Indefinite_Ordered_Maps(String, String);

pragma Ada_05;
with Ada.Text_IO; use Ada.Text_IO;
with m; use M;
procedure Test1 is
   X, Y : Map;
begin
   X.Include("a", "1");
   Put_Line(Element(X, "a")); -- "1" OK
   Y := X;
   Put_Line(Element(Y, "a")); -- "1" OK
   Clear(X);
   Put_Line(Element(Y, "a"));
   -- raised CONSTRAINT_ERROR : a-ciorma.adb:407 access check failed !?
end Test1;

pragma Ada_05;
with Ada.Text_IO; use Ada.Text_IO;
with m; use M;
procedure Test2 is
   function X return Map is
      R : Map;
   begin
      R.Include("a", "1");
      return R;
   end X;
   Y : Map := X;
begin
   Put_Line(Element(Y, "a"));
   -- raised CONSTRAINT_ERROR : a-ciorma.adb:407 access check failed !?
end Test2;

YT