Bug#519336: gnat1 segfault when unchecked converting an identifier with type mismatch

[Nicolas Boulenguez <nicolas.boulenguez@free.fr>]

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