From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21078 invoked by alias); 26 May 2004 17:13:17 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 21069 invoked by uid 48); 26 May 2004 17:13:16 -0000 Date: Thu, 27 May 2004 10:05:00 -0000 From: "anh_vn_vo at yahoo dot com" To: gcc-bugs@gcc.gnu.org Message-ID: <20040526171311.15663.anh_vn_vo@yahoo.com> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug ada/15663] New: Assert_Failure X-Bugzilla-Reason: CC X-SW-Source: 2004-05/txt/msg03090.txt.bz2 List-Id: 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