[Bug ada/28733] New: GNAT crash while compiling Ada-2005 code

[Bug ada/28733] New: GNAT crash while compiling Ada-2005 code

[al at svao dot net]

GNAT can't compile simple Ada-2005 code.


-- 
           Summary: GNAT crash while compiling Ada-2005 code
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: al at svao dot net
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[al at svao dot net]

------- Comment #1 from al at svao dot net  2006-08-15 11:41 -------
Created an attachment (id=12077)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12077&action=view)
Compiler output

Assert_Failure sinfo.adb:990


-- 


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[al at svao dot net]

------- Comment #2 from al at svao dot net  2006-08-15 11:42 -------
Created an attachment (id=12078)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12078&action=view)
Sources


-- 


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[al at svao dot net]

------- Comment #3 from al at svao dot net  2006-08-15 11:47 -------
Created an attachment (id=12079)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12079&action=view)
All sources


-- 

al at svao dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #12078|0                           |1
        is obsolete|                            |


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[al at svao dot net]

------- Comment #4 from al at svao dot net  2006-08-15 11:54 -------
Command: gcc-4.1 -c -gnat05 -v src/ada_3d-file_io-step_reader.adb


-- 


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[laurent at guerby dot net]

------- Comment #5 from laurent at guerby dot net  2006-09-19 19:44 -------
With gcc version 4.2.0 20060915 (experimental)

$ gcc -c -gnat05 ada_3d-file_io-step_reader.adb
ada_3d-file_io-step_reader.ads:84:04: this instantiation requires
"Ada_3d.System.Containers.Single_List (body)"
ada_3d-file_io-step_reader.ads:84:04: but file
"ada_3d-system-containers-single_list.adb" was not found
compilation abandoned

Could you provide the missing file?

thanks


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[al at svao dot net]

------- Comment #6 from al at svao dot net  2006-10-01 15:55 -------
Created an attachment (id=12366)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12366&action=view)
ada_3d-system-containers-single_list.adb

Yes, of course.


-- 


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[laurent at guerby dot net]

------- Comment #7 from laurent at guerby dot net  2006-10-11 21:53 -------
Confirmed.

$ gcc -c -gnat05 ada_3d-file_io-step_reader.adb
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060922 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
sinfo.adb:990|
| Error detected at ada_3d-system-containers-single_list.adb:68:4          |


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-10-11 21:53:56
               date|                            |


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[charlet at gcc dot gnu dot org]

------- Comment #8 from charlet at gcc dot gnu dot org  2007-04-30 10:47 -------
Do you still see the error with 4.3.0 ?


-- 


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[charlet at gcc dot gnu dot org]

------- Comment #9 from charlet at gcc dot gnu dot org  2007-05-02 14:54 -------
Never mind, I could still reproduce it, although the sources need to be updated
to conform to latest Ada 2005 rules (some interfaces must be marked limited).

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|2006-10-11 21:53:56         |2007-05-02 14:54:13
               date|                            |


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[sam at gcc dot gnu dot org]

-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |sam at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-05-02 14:54:13         |2007-11-25 14:20:43
               date|                            |


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[sam at gcc dot gnu dot org]

------- Comment #10 from sam at gcc dot gnu dot org  2008-04-15 12:00 -------
Subject: Bug 28733

Author: sam
Date: Tue Apr 15 11:59:39 2008
New Revision: 134313

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134313
Log:
2008-04-15  Samuel Tardieu  <sam@rfc1149.net>
            Gary Dismukes  <dismukes@adacore.com>

    gcc/ada/
        PR ada/28733
        * sem_ch8.adb (Analyze_Use_Package): Do not allow "use" of something
        which is not an entity (and hence not a package).
        (End_Use_Package): Ditto.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_ch8.adb


-- 


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

[Bug ada/28733] GNAT crash while compiling Ada-2005 code

[sam at gcc dot gnu dot org]

------- Comment #11 from sam at gcc dot gnu dot org  2008-04-15 12:22 -------
This has been fixed in SVN.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.0


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