FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian GCC

 
 
LinkBack Thread Tools
 
Old 02-12-2012, 11:03 PM
Nicolas Boulenguez
 
Default Bug#659674: gnat-4.6: Assert_Failure sinfo.adb:2947

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
 

Thread Tools




All times are GMT. The time now is 10:04 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org