[Bug ada/11978] New: gnat1 crashes in a-tags.adb

[Bug ada/11978] New: gnat1 crashes in a-tags.adb

[www dot sd at gmx dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: gnat1 crashes in a-tags.adb
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: www dot sd at gmx dot net
                CC: gcc-bugs at gcc dot gnu dot org,www dot sd at gmx dot
                    net
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

gcc -v gives
Reading specs from
/projects/tmp/simondl/gcc3/lib/gcc-lib/i686-pc-linux-gnu/3.3.1/specs
Configured with: ../gcc-3.3.1/configure --enable-languages=c,ada
--prefix=/projects/tmp/simondl/gcc3
Thread model: posix
gcc version 3.3.1

The bug also can be reproduced on sparc-linux and sparc-solaris. Just compile
the following

package Bang is   
   type T is tagged null record;   
   for T'External_Tag use "tee";
   type S is new T with null record;
end Bang;

[Bug ada/11978] gnat1 crashes in a-tags.adb

[www dot sd at gmx dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From www dot sd at gmx dot net  2003-08-19 16:00 -------
Created an attachment (id=4620)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=4620&action=view)
package to crash ada compiler

This is where the error occurs when compiling.

[Bug ada/11978] ada compiler crashes in a-tags.adb

[www dot sd at gmx dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


www dot sd at gmx dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|gnat1 crashes in a-tags.adb |ada compiler crashes in a-
                   |                            |tags.adb

[Bug ada/11978] ada compiler crashes in a-tags.adb

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-19 18:42 -------
Can you provide the output of the error you are recieving?
I do not recieve a crash in the mainline on powerpc-apple-darwin6.6.

[Bug ada/11978] ada compiler crashes in a-tags.adb

[www dot sd at gmx dot net]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From www dot sd at gmx dot net  2003-08-20 07:25 -------
Here comes the output of the error:
gnatmake bang
gcc-3.3 -c bang.ads
+===========================GNAT BUG DETECTED==============================+
| 3.3.1 20030626 (Debian prerelease) (i386-pc-linux-gnu) Assert_Failure
atree.adb:2905|
| Error detected at /usr/lib/gcc-lib/i386-linux/3.3.1/adainclude/a-tags.adb:41:17|
| 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.3 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

bang.ads

compilation abandoned
gnatmake: "bang.ads" compilation error

-snip-
This happens since gnat-3.15p. We are currently using 3.14p where this error
does not occur.

[Bug ada/11978] ada compiler crashes in a-tags.adb

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-21 11:47 -------
unconfirmed.

[Bug ada/11978] ada compiler crashes in a-tags.adb

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |INVALID


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-21 11:47 -------
I still cannot reproduce this on the mainline (20030731).
All I get is an error:
bang.ads:1:09: package "Bang" does not allow a body
bang.ads:1:09: remove incorrect body in file "bang.adb"
Marking as invalid to mark it as ...

[Bug ada/11978] ada compiler crashes in a-tags.adb

[bellon at informatik dot uni-stuttgart dot de]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From bellon at informatik dot uni-stuttgart dot de  2003-08-21 13:03 -------
sbellon@pslap3$ gnatmake bang.ads 
gcc-3.3 -c bang.ads
+===========================GNAT BUG DETECTED==============================+
| 3.3.2 20030812 (Debian prerelease) (i486-pc-linux-gnu) Assert_Failure
atree.adb:2905|
| Error detected at /usr/lib/gcc-lib/i486-linux/3.3.2/adainclude/a-tags.adb:41:17|
| 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.3 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

bang.ads

compilation abandoned
gnatmake: "bang.ads" compilation error

[Bug ada/11978] ada compiler crashes in a-tags.adb

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4                         |---

[Bug ada/11978] ada compiler crashes in a-tags.adb

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-10-23 11:57 -------
Subject: Bug 11978

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	charlet@gcc.gnu.org	2003-10-23 11:57:52

Modified files:
	gcc/ada        : ChangeLog Makefile.in exp_ch13.adb exp_dbug.adb 
	                 exp_dbug.ads g-regpat.adb g-regpat.ads trans.c 
	                 urealp.h 

Log message:
	PR ada/11978:
	* exp_ch13.adb (Expand_N_Freeze_Entity): Do not consider inherited
	External_Tag attribute definition clauses.
	
	PR ada/7613:
	* exp_dbug.adb (Debug_Renaming_Declaration): For the renaming of a
	child unit, generate a fully qualified name to avoid spurious errors
	when the context contains renamings of different child units with
	the same simple name.
	
	* exp_dbug.ads: Add documentation on name qualification for renamings
	of child units.
	
	* g-regpat.ads, g-regpat.adb: Minor reformatting
	
	* Makefile.in: Use the file 1atags.ads with the ZFP and cert run-times.
	
	* trans.c: (tree_transform, case N_Real_Literal): Add extra arg to
	Machine call.
	
	* urealp.h: (Machine): Update to proper definition.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.359&r2=1.360
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/Makefile.in.diff?cvsroot=gcc&r1=1.48&r2=1.49
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_ch13.adb.diff?cvsroot=gcc&r1=1.7&r2=1.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_dbug.adb.diff?cvsroot=gcc&r1=1.7&r2=1.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_dbug.ads.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.8&r2=1.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/g-regpat.ads.diff?cvsroot=gcc&r1=1.5&r2=1.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/trans.c.diff?cvsroot=gcc&r1=1.35&r2=1.36
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/urealp.h.diff?cvsroot=gcc&r1=1.5&r2=1.6

[Bug ada/11978] ada compiler crashes in a-tags.adb

[charlet at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4


------- Additional Comments From charlet at gcc dot gnu dot org  2003-10-23 12:03 -------
Fixed in mainline.

Arno