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-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120213000325.24917.73274.reportbug@pegase
