[Bug ada/15663] New: Assert_Failure

[Bug ada/15663] New: Assert_Failure

[anh_vn_vo at yahoo dot com]

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

[Bug ada/15663] Assert_Failure

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|3.4.0                       |
   GCC host triplet|Windows 2000                |
 GCC target triplet|Windows 2000                |i386-pc-cygwin
            Summary|Assert_Failure              |Assert_Failure


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

[Bug ada/15663] Assert_Failure on invalid 'Class reference to a non tagged type

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2004-06-08 10:39 -------
Confirmed (code is illegal btw).

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-06-08 10:39:42
               date|                            |
            Summary|Assert_Failure              |Assert_Failure on invalid
                   |                            |'Class reference to a non
                   |                            |tagged type


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

[Bug ada/15663] Assert_Failure on invalid 'Class reference to a non tagged type

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2005-09-06 12:21 -------
Works fine for me on mainline, producing error message instead of bug box.

Arno

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


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