[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" <gcc-bugzilla at gcc dot gnu dot org>]

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