Bug#519336: gnat1 segfault when unchecked converting an identifier with type mismatch
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Bug confirmed for :
Package: gnat-4.3
Architecture: powerpc
Version: 4.3.3-2
Kernel : 2.6.25-2-powerpc64
Nicolas Boulenguez a écrit :
> Package: gnat
> Version: 4.3.2-3
> Severity: minor
>
>
> The following program crashes gnatmake. I could not make it
> smaller. Removing the affectation (last line) or correcting the type
> mismatch in the record declaration (first line) both causes a normal
> error message.
>
> ------------------------------------------
> with Ada.Unchecked_Conversion;
>
> package Essai is
> type Attributed_Chararcter is record
> I : Integer;
> end record;
> type Video_Array is array (Integer range 0 .. 1) of Attributed_Character;
> type Video_Access is access Video_Array;
> function To_VA is new Ada.Unchecked_Conversion (Integer, Video_Access);
> Video : Video_Access := To_VA (0);
> end Essai;
> -----------------------------------------
>
> -- System Information:
> Debian Release: squeeze/sid
> APT prefers testing
> APT policy: (500, 'testing')
> Architecture: amd64 (x86_64)
>
> Kernel: Linux 2.6.28.3 (SMP w/2 CPU cores)
> Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
> Shell: /bin/sh linked to /bin/dash
>
> Versions of packages gnat depends on:
> ii gnat-4.3 4.3.3-2 The GNU Ada compiler
>
> gnat recommends no packages.
>
> gnat suggests no packages.
>
> -- no debconf information
>
>
>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAknHsT8ACgkQVIZi0A5BZF4z/QCdGgVqqhZpSIxqHEumV0G3LlIZ
bFUAoLMVw4sSbrVYTicCUeUMZ2T/LtXl
=1XGz
-----END PGP SIGNATURE-----
Reply to: