[Bug ada/51898] New: gcc Failed on Assert

[Bug ada/51898] New: gcc Failed on Assert

[elyashivlavi at yahoo dot com]

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: unassigned@gcc.gnu.org
        ReportedBy: elyashivlavi@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

[Bug ada/51898] gcc assertion

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51898

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|blocker                     |normal

[Bug ada/51898] Assertion failure in sinfo.adb

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51898

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2012-12-15
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
            Summary|gcc assertion               |Assertion failure in
                   |                            |sinfo.adb
     Ever Confirmed|0                           |1

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-15 11:04:53 UTC ---
4.4.x is no longer maintainer.  Please try with newer versions.

[Bug ada/51898] Assertion failure in sinfo.adb

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51898

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
No feedback.