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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
