Bug#659674: gnat-4.6: Assert_Failure sinfo.adb:2947

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

Package: gnat-4.6
Version: 4.6.2-3
Severity: normal
Tags: upstream

Compiling the following program with gnatmake bug.adb displays
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:2947                |
| Error detected at bug.adb:4:41                                           |
even with -gnat12 switch.

The bug is forwarded at
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52222.

procedure Bug is
   B : Boolean;
   Suffix : String
     := (case B is when False => Boolean'Image (B),
        when True => "");
begin
   null;
end Bug;

-- System Information:
Kernel: Linux 3.2.0-1-amd64 (SMP w/2 CPU cores)