[Bug ada/22251] New: Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16

[Bug ada/22251] New: Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16

[jlh at gmx dot ch]

I got a bug box from the Ada compiler.  Below is a reduced test case.

Output of 'gcc -v':
Reading specs from /usr/lib/gcc/i686-pc-linux-gnu/3.4.4/specs
Configured with: ../gcc-3.4.4/configure --prefix=/usr --enable-languages=ada,c,
c++,f77,f95,java,objc,obj-c++,treelang --with-gnu-ld --with-gnu-as --enable-
threads --with-arch=athlon : (reconfigured) ../gcc-3.4.4/configure --prefix=/usr 
--enable-languages=ada,c,c++,f77,java,objc,treelang --with-gnu-ld --with-gnu-as 
--enable-threads --with-arch=athlon
Thread model: posix
gcc version 3.4.4

The message GCC prints is:

-------- SNIP --------
+===========================GNAT BUG DETECTED===================+
| 3.4.4 (i686-pc-linux-gnu) Assert_Failure sinfo.adb:2479       |
| Error detected at test.adb:12:16                              |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Include the entire contents of this bug box in the report.    |
| Include the exact gcc 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.

test.adb
test.ads

compilation abandoned
-------- SNIP --------

I also got the same bug box with GCC 3.4.4 on Cygwin/WinNT.  It's identical to 
above's, with the first line being:
| 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) (i686-pc-cygwin)     |

The command invoked is
$ gcc -c test.adb

And the test files are:

-------- begin file: test.ads --------
package Test is
   type Object is limited private;
private
   protected type Safe_Object is
   end Safe_Object;
   type Object is record
      Safe : Safe_Object;
   end record;
end Test;
-------- end file: test.ads --------

-------- begin file: test.adb --------
package body Test is
   protected body Safe_Object is
      procedure Destroy is
      begin
         null;
      end Destroy;
   end Safe_Object;
   procedure Destroy (This : in out Object) is
   begin
      This.Safe.Destroy;
   end Destroy;
end Test;
-------- end file: test.adb --------

-- 
           Summary: Bug box in Ada compiler: Assert_Failure sinfo.adb:2479,
                    Error detected at test.adb:12:16
           Product: gcc
           Version: 3.4.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jlh at gmx dot ch
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug ada/22251] Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-30 14:31 -------
Confirmed, related to PR 15663.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |15663
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |4.0.0 3.3 4.1.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-30 14:31:43
               date|                            |


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

[Bug ada/22251] Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16

[charlet at gcc dot gnu dot org]

-- 
Bug 22251 depends on bug 15663, which changed state.

Bug 15663 Summary: Assert_Failure on invalid 'Class reference to a non tagged type
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15663

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

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

[Bug ada/22251] Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2005-09-06 12:31 -------
Removing dependency on 15663, since the two issues are not related:
15663 has to do with use of 'Class on a non tagged type, which is
unrelated to 22251 which contains no such construct.

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|15663                       |


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

[Bug ada/22251] Bug box in Ada compiler: Assert_Failure sinfo.adb:2479, Error detected at test.adb:12:16

[charlet at gcc dot gnu dot org]

------- Comment #3 from charlet at gcc dot gnu dot org  2007-05-04 11:31 -------
Now compiles properly (and generates error message as expected).

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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