http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51898
Bug #: 51898
Summary: gcc Failed on Assert
Classification: Unclassified
Product: gcc
Version: 4.4.5
Status: UNCONFIRMED
Severity: blocker
Priority: P3
Component: ada
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: elyashivl...@yahoo.com
Created attachment 26372
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26372
All 3 files mentioned in the screen, can be obtained using gnatchop
I attach the screen:
gnatmake -gnata gen_queue-array_queue.adb
gcc-4.4 -c -gnata gen_queue-array_queue.adb
+===========================GNAT BUG DETECTED==============================+
| 4.4.5 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:1009 |
| Error detected at gen_queue-array_queue.adb:94:20 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc-4.4 or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
gen_queue-array_queue.adb
gen_queue-array_queue.ads
gen_queue.ads
compilation abandoned
gnatmake: "gen_queue-array_queue.adb" compilation error
---------------
Details:
gcc version: gcc version 4.4.5 (Ubuntu/Linaro 4.4.5-15ubuntu1)
System Type: Linux ubuntu 2.6.38-8-generic #42-Ubuntu SMP Mon Apr 11 03:31:24
UTC 2011 x86_64 x86_64 x86_64 GNU/Linux
