[Bug ada/15663] New: Assert_Failure

["anh_vn_vo at yahoo dot com" <gcc-bugzilla at gcc dot gnu dot org>]

Bug box was generated during compilation. The detailed message is shown below

C:\Ada\Ada_Discussion>gcc -v -c agpl.ads
Reading specs from C:/MinGW/bin/../lib/gcc/mingw32/3.4.0/specs
Configured with: ../gcc/configure --with-gcc --with-gnu-ld --with-gnu-as --host=
mingw32 --target=mingw32 --prefix=/mingw --enable-threads --disable-nls --enable
-languages=c,c++,f77,ada,objc,java --disable-win32-registry --disable-shared --e
nable-sjlj-exceptions --enable-libgcj --disable-java-awt --without-x --enable-ja
va-gc=boehm --disable-libgcj-debug --enable-interpreter --enable-hash-synchroniz
ation
Thread model: win32
gcc version 3.4.0 (mingw special)
 C:/MinGW/bin/../libexec/gcc/mingw32/3.4.0/gnat1.exe -quiet -dumpbase agpl.ads a
gpl.ads -o C:\DOCUME~1\voax\LOCALS~1\Temp/cc46aaaa.s
+===========================GNAT BUG DETECTED==============================+
| 3.4.0 (mingw special) (i386-pc-mingw32) Assert_Failure sinfo.adb:2428    |
| Error detected at agpl.ads:10:4                                          |
| 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.

agpl.ads


compilation abandoned

The source code used in this compilation is ...

with Ada.Finalization;

package Agpl is

   type Object; 
   type Object_Access is access all Object; 

   type Destructor_Type (Parent : access Object'class) is limited private; 

   protected type Object is
   end Object;

private

   type Destructor_Type (Parent : access Object'class) is new
                          Ada.Finalization.Limited_Controlled with null record; 

end Agpl;

-- 
           Summary: Assert_Failure
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anh_vn_vo at yahoo dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: 3.4.0
  GCC host triplet: Windows 2000
GCC target triplet: Windows 2000


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