Bug 5677 - Assert failure in nlists.adb:933
Summary: Assert failure in nlists.adb:933
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 3.1
: P3 normal
Target Milestone: 3.4.0
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-invalid-code
Depends on:
Blocks:
 
Reported: 2002-02-12 16:16 UTC by starner
Modified: 2003-10-22 09:35 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2003-07-19 17:09:03


Attachments
file.ada (600 bytes, application/octet-stream)
2003-05-21 15:15 UTC, starner
Details

Note You need to log in before you can comment on or make changes to this bug.
Description starner 2002-02-12 16:16:00 UTC
gcc -c large_integer_handler.ads crases, giving a bug box blaiming an Assert failure in nlists.adb:933.

Release:
gcc version 3.1 20011030 (experimental)

Environment:
Debian GNU/Linux unstable on the ix86 (i686-pc-linux-gnu)
(configure --prefix=... --enable-languages=c,f77,ada)
Comment 1 Dara Hazeghi 2003-05-10 14:27:38 UTC
From: Dara Hazeghi <dhazeghi@yahoo.com>
To: gcc-gnats@gcc.gnu.org, starner@okstate.edu
Cc:  
Subject: Re: ada/5677: GNAT crashes with bugbox
Date: Sat, 10 May 2003 14:27:38 -0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- 
 trail&database=gcc&pr=5677
 
 Hello,
 
 gcc 3.1 is quite old. Would it be possible for the submitter to  
 determine if this problem still occurs on a more current version (ie  
 3.2.3)? Thanks,
 
 Dara
 

Comment 2 Dara Hazeghi 2003-05-10 14:56:14 UTC
From: Dara Hazeghi <dhazeghi@yahoo.com>
To: gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: ada/5677: GNAT crashes with bugbox
Date: Sat, 10 May 2003 14:56:14 -0700 (PDT)

 Mail to the original submitter bounced.
 
 Dara
 
 __________________________________
 Do you Yahoo!?
 The New Yahoo! Search - Faster. Easier. Bingo.
 http://search.yahoo.com

Comment 3 Dara Hazeghi 2003-05-12 01:44:19 UTC
From: Dara Hazeghi <dhazeghi@yahoo.com>
To: starner@okstate.edu, gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: ada/5677: GNAT crashes with bugbox
Date: Mon, 12 May 2003 01:44:19 -0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- 
 trail&database=gcc&pr=5677
 
 Hello,
 
 I can confirm that with 3.2, 3.3 branch and mainline (20030510) on  
 i686-linux, the testcase here fails to compile, as reported.
 
 Dara
 

Comment 4 Dara Hazeghi 2003-05-12 02:14:47 UTC
From: Dara Hazeghi <dhazeghi@yahoo.com>
To: gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: ada/5677: GNAT crashes with bugbox
Date: Mon, 12 May 2003 02:14:47 -0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- 
 trail&database=gcc&pr=5677
 
 e-mail to the original submitter bounced.
 
Comment 5 Giovanni Bajo 2003-05-12 11:18:58 UTC
State-Changed-From-To: open->analyzed
State-Changed-Why: Confirmed to still exist in 3.3 and mainline
Comment 6 Dara Hazeghi 2003-07-06 02:14:36 UTC
Confirmed still present with gcc 3.3 branch and mainline (20030620).
Comment 7 Andrew Pinski 2003-07-19 17:09:03 UTC
Reconfirmed on the mainline (20030719).
Comment 8 CVS Commits 2003-10-22 09:28:19 UTC
Subject: Bug 5677

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	charlet@gcc.gnu.org	2003-10-22 09:28:09

Modified files:
	gcc/ada        : ChangeLog exp_ch3.adb exp_prag.adb g-regpat.adb 
	                 g-regpat.ads sem_ch12.adb sem_ch3.adb 
	                 sem_elab.adb sem_util.adb 
Added files:
	gcc/ada        : gnat_wrapper.adb 

Log message:
	2003-10-22  Arnaud Charlet  <charlet@act-europe.fr>
	
	* gnat_wrapper.adb: New file.
	
	2003/10/22  Jerome Roussel  <roussel@act-europe.fr>
	
	* g-regpat.ads, g-regpat.adb (Match): new function, to know if a
	string match a pre compiled regular expression (the corresponding
	version of the function working on a raw regular expression)
	Fix typos in various comments
	Update copyright notice in spec
	
	2003/10/21  Gary Dismukes  <dismukes@gnat.com>
	
	* exp_ch3.adb:
	(Component_Needs_Simple_Initialization): Return False when the type is a
	packed bit array. Revise spec comments to document this case.
	
	* exp_prag.adb:
	(Expand_Pragma_Import): Set any expression on the imported object to
	empty to avoid initializing imported objects (in particular this
	covers the case of zero-initialization of bit arrays).
	Update copyright notice.
	
	2003/10/21  Ed Schonberg  <schonberg@gnat.com>
	
	* sem_ch12.adb:
	(Load_Parent_Of_Generic): If parent is compilation unit, stop search,
	a subunit is missing.
	(Instantiate_Subprogram_Body): If body of function is missing, set type
	of return expression explicitly in dummy body, to prevent cascaded
	errors when a subunit is missing.
	Fixes PR 5677.
	
	* sem_ch3.adb:
	(Access_Subprogram_Declaration): Verify that return type is valid.
	Fixes PR 8693.
	
	* sem_elab.adb:
	(Check_Elab_Calls): Do not apply elaboration checks if the main unit is
	generic.
	Fixes PR 12318.
	
	* sem_util.adb:
	(Corresponding_Discriminant): If the scope of the discriminant is a
	private type without discriminant, use its full view.
	Fixes PR 8247.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/gnat_wrapper.adb.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.353&r2=1.354
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_ch3.adb.diff?cvsroot=gcc&r1=1.8&r2=1.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_prag.adb.diff?cvsroot=gcc&r1=1.6&r2=1.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-regpat.adb.diff?cvsroot=gcc&r1=1.7&r2=1.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-regpat.ads.diff?cvsroot=gcc&r1=1.4&r2=1.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch12.adb.diff?cvsroot=gcc&r1=1.21&r2=1.22
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch3.adb.diff?cvsroot=gcc&r1=1.18&r2=1.19
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_elab.adb.diff?cvsroot=gcc&r1=1.9&r2=1.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_util.adb.diff?cvsroot=gcc&r1=1.13&r2=1.14

Comment 9 Arnaud Charlet 2003-10-22 09:35:10 UTC
Closing PR.