[Bug ada/13353] New: 3.4 20031125 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1220

[Bug ada/13353] New: 3.4 20031125 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1220

[gcc-bugzilla at gcc dot gnu dot org]

+===========================GNAT BUG DETECTED==============================+
| 3.4 20031125 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1220|
| Error detected at ice.adb:13: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).                   |
+==========================================================================+

package ICE is
   procedure A;
end ICE;

package body ICE is
   generic procedure G;
   procedure G is begin null; end;
   procedure B is new G;
   procedure A renames B;
   pragma Inline (A);
end ICE;

Environment:
System: Linux pbaldrick 2.4.21-99-default #1 Wed Sep 24 13:30:51 UTC 2003 i686 i686 i386 GNU/Linux
Architecture: i686

	
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc/configure --prefix=/usr/gnat-cvs --enable-threads=gnat --enable-languages=c,ada,c++

How-To-Repeat:
gcc -c ice.adb

-- 
           Summary: 3.4 20031125 (experimental) (i686-pc-linux-gnu)
                    Assert_Failure sinfo.adb:1220
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: duncan dot sands at math dot u-psud dot fr
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug ada/13353] 3.4 20031125 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1220

[dhazeghi at yahoo dot com]

------- Additional Comments From dhazeghi at yahoo dot com  2003-12-10 08:04 -------
Confirmed with mainline (20031203).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-12-10 08:04:23
               date|                            |


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

[Bug ada/13353] 3.4 20031125 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1220

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-11 16:21 -------
Subject: Bug 13353

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	charlet@gcc.gnu.org	2003-12-11 16:21:40

Modified files:
	gcc/ada        : 5wosinte.ads 5zinit.adb 5zintman.adb 
	                 a-tiinau.adb exp_ch7.adb init.c Makefile.in 
	                 sem_ch3.adb sem_prag.adb sem_res.adb 
	                 sem_util.adb sinfo.ads ChangeLog 

Log message:
	2003-12-11  Ed Falis  <falis@gnat.com>
	
	* 5zinit.adb: Clean up.
	
	* 5zintman.adb (Notify_Exception): replaced case statement with a call
	to __gnat_map_signal, imported from init.c to support
	signal -> exception mappings that depend on the vxWorks version.
	
	* init.c:
	Created and exported __gnat_map_signal to support signal -> exception
	mapping that is dependent on the VxWorks version.
	Change mapping of SIGBUS from Program_Error to Storage_Error on VxWorks
	
	2003-12-11  Vasiliy Fofanv  <fofanov@act-europe.fr>
	
	* 5wosinte.ads: Link with -mthreads switch.
	
	2003-12-11  Arnaud Charlet  <charlet@act-europe.fr>
	
	* init.c (__gnat_install_handler [NetBSD]): Set
	__gnat_handler_installed, as done on all other platforms.
	Remove duplicated code.
	
	2003-12-11  Jerome Guitton  <guitton@act-europe.fr>
	
	* Makefile.in (rts-zfp, rts-ravenscar): Create libgnat.a.
	
	2003-12-11  Thomas Quinot  <quinot@act-europe.fr>
	
	* sinfo.ads: Fix inconsistent example code in comment.
	
	2003-12-11  Robert Dewar  <dewar@gnat.com>
	
	* a-tiinau.adb: Add a couple of comments
	
	* sem_ch3.adb: Minor reformatting
	
	* sem_prag.adb:
	Fix bad prototype of Same_Base_Type in body (code reading cleanup)
	Minor reformatting throughout
	
	2003-12-11  Ed Schonberg  <schonberg@gnat.com>
	
	* exp_ch7.adb (Establish_Transient_Scope): If the call is within the
	bounds of a loop, create a separate block in order to generate proper
	cleanup actions to prevent memory leaks.
	
	* sem_res.adb (Resolve_Call): After a call to
	Establish_Transient_Scope, the call may be rewritten and relocated, in
	which case no further processing is needed.
	
	* sem_util.adb: (Wrong_Type): Refine previous fix.
	Fixes ACATS regressions.
	
	PR ada/13353
	
	* sem_prag.adb (Back_End_Cannot_Inline): A renaming_as_body can always
	be inlined.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/5wosinte.ads.diff?cvsroot=gcc&r1=1.4&r2=1.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/5zinit.adb.diff?cvsroot=gcc&r1=1.2&r2=1.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/5zintman.adb.diff?cvsroot=gcc&r1=1.7&r2=1.8
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-tiinau.adb.diff?cvsroot=gcc&r1=1.6&r2=1.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/exp_ch7.adb.diff?cvsroot=gcc&r1=1.9&r2=1.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/init.c.diff?cvsroot=gcc&r1=1.21&r2=1.22
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/Makefile.in.diff?cvsroot=gcc&r1=1.59&r2=1.60
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_ch3.adb.diff?cvsroot=gcc&r1=1.25&r2=1.26
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_prag.adb.diff?cvsroot=gcc&r1=1.14&r2=1.15
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_res.adb.diff?cvsroot=gcc&r1=1.14&r2=1.15
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_util.adb.diff?cvsroot=gcc&r1=1.16&r2=1.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sinfo.ads.diff?cvsroot=gcc&r1=1.16&r2=1.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.411&r2=1.412



-- 


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

[Bug ada/13353] 3.4 20031125 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1220

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2003-12-11 16:29 -------
Fixed in mainline.

Arno

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


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