[PolyORB-users] [DSA] bug in "small" integer handling ?

[xavier grave]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

It seems that there is a bug in the handling of custom type in DSA
personality in gnat gpl 2009.

I have found a similar bug in gnat gpl 2008, but I didn't reported it
because of another bug report more important for me.

I join an archive that contain a small test case.
   type Actor_Numbering_Type is range 0 .. 2000;
   function Get_Informations return Actor_Numbering_Type;
Using Get_informations remotely raises :
raised CONSTRAINT_ERROR : polyorb-any.adb:157 explicit raise

As far as I remember my previous bug hunt last year, the problem was a
Tk_Short / Tk_Ushort comparison... And line 157 code seems to confirm this :
procedure Kind_Check (C : Any_Container'Class) is
begin
   if TypeCode.Kind (Unwind_Typedefs (Get_Type_Obj (C))) /= Kind then
      raise Constraint_Error;
    end if;
end Kind_Check;

I'll try to post a patch soon, but if somebody on the list can point me
on the "good" file to look, thanks in advance :)

Cordially, xavier
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkotKvcACgkQVIZi0A5BZF593QCfU8bLoF+1s6Uh07QquIPkW4k7
T2EAmwWF9CjzqsQPoFu8I7ExvLOHyNP6
=lHux
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test2.tgz
Type: application/x-compressed-tar
Size: 809 bytes
Desc: not available
Url : /pipermail/polyorb-users/attachments/20090608/e433d11d/attachment-0001.bin