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)



--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20120213000325.24917.73274.reportbug@pegase">http://lists.debian.org/20120213000325.24917.73274.reportbug@pegase