Bug 8247 - Compiler bug reported; may have to do with variant records
Summary: Compiler bug reported; may have to do with variant records
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 3.2
: P3 normal
Target Milestone: 3.4.0
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-valid-code
Depends on:
Blocks:
 
Reported: 2002-10-16 15:16 UTC by erik.pessers
Modified: 2003-10-22 09:36 UTC (History)
1 user (show)

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


Attachments
sources (11.89 KB, application/octet-stream)
2003-05-21 15:15 UTC, erik.pessers
Details

Note You need to log in before you can comment on or make changes to this bug.
Description erik.pessers 2002-10-16 15:16:01 UTC
$ gnatmake adalib-string_hashes
gcc-3.2 -c adalib-string_hashes.adb
+===========================GNAT BUG DETECTED==============================+
| 3.2.1 20020924 (prerelease) (i386-pc-linux-gnu) Assert_Failure einfo.adb:4508|
| Error detected at adalib-hashes.ads:327:5 [adalib-string_hashes.ads:16:5]|
| 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-3.2 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

adalib-string_hashes.adb
adalib-string_hashes.ads
adalib.ads
adalib-hashes.ads
adalib-list.ads
/usr/local/lib/ada/include/bc/bc.ads
/usr/local/lib/ada/include/bc/bc-containers.ads
/usr/local/lib/ada/include/bc/bc-containers-lists.ads
/usr/local/lib/ada/include/bc/bc-containers-lists-single.ads
/usr/local/lib/ada/include/bc/global_heap.ads
/usr/local/lib/ada/include/bc/bc-support.ads
/usr/local/lib/ada/include/bc/bc-support-managed_storage.ads
adalib-strings.ads
adalib-sprintf.ads

compilation abandoned
gnatmake: "adalib-string_hashes.adb" compilation error

Release:
unknown

Environment:
Linux 2.4 on I868 (Compaq Presario5020); 
same issue on both GNAT3.14p-3 and GNAT3.2 
(3.2.1-0pre3) compilers.
Comment 1 Dara Hazeghi 2003-05-12 16:42:58 UTC
From: Dara Hazeghi <dhazeghi@yahoo.com>
To: gcc-gnats@gcc.gnu.org, nobody@gcc.gnu.org
Cc:  
Subject: Re: ada/8247: Compiler bug reported; may have to do with variant records
Date: Mon, 12 May 2003 16:42:58 -0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- 
 trail&database=gcc&pr=8247
 
 Hello,
 
 I can reproduce this bug on gcc 3.2, 3.3 branch and mainline (20030511)  
 on i686-linux.
 
 Dara
Comment 2 Andrew Pinski 2003-05-25 22:24:57 UTC
See Dara's comment.
Comment 3 Dara Hazeghi 2003-07-06 02:44:44 UTC
Confirmed with gcc 3.3 branch and mainline (20030620).
Comment 4 Andrew Pinski 2003-07-19 17:13:20 UTC
Reconfirmed on the mainline (20030719).
Comment 5 GCC Commits 2003-10-22 09:28:19 UTC
Subject: Bug 8247

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 6 Arnaud Charlet 2003-10-22 09:36:32 UTC
Closing PR.