Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Bug#659674: gnat-4.6: Assert_Failure sinfo.adb:2947
0 views
Skip to first unread message
Nicolas Boulenguez
Feb 12, 2012, 7:10:01 PM2/12/12
to
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-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
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-bugs-...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listm...@lists.debian.org
0 new messages