public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/23319] New: Compiler crash with interface as generic formal parameter
@ 2005-08-10 20:56 kafka dot fr at laposte dot net
2005-08-10 20:57 ` [Bug ada/23319] " kafka dot fr at laposte dot net
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: kafka dot fr at laposte dot net @ 2005-08-10 20:56 UTC (permalink / raw)
To: gcc-bugs
Full output from gnatmake :
--8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<---
yves@kafka(0) test $ gnatmake -gnat05 test
gcc -c -gnat05 test.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050806 (experimental) (i686-pc-linux-gnu) Program_Error
sem_ch12.adb:2051 explicit raise|
| Error detected at pkg.ads:5:7 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| 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.
list may be incomplete
compilation abandoned
gnatmake: "test.adb" compilation error
--8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----8<---
Configure command for gcc :
../gcc-4.1-20050806/configure --prefix=/home/yves/Programs/gcc-bin/
--enable-languages=ada,c,c++
Build command for gcc :
make CFLAGS='-O' LIBCFLAGS='-g -O2' LIBCXXFLAGS='-g -O2
-fno-implicit-templates' bootstrap
Using gcc 3.3.5 as preinstalled compiler :
yves@kafka(0) ~ $ gcc -v
Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib
--enable-nls --without-included-gettext --enable-__cxa_atexit
--enable-clocale=gnu --enable-debug --enable-java-gc=boehm
--enable-java-awt=xlib --enable-objc-gc i486-linux
Thread model: posix
gcc version 3.3.5 (Debian 1:3.3.5-8ubuntu2)
Using GNAT 3.15p as pre-installed Ada compiler, as packaged by kubuntu.
--
Summary: Compiler crash with interface as generic formal
parameter
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: critical
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: kafka dot fr at laposte dot net
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: gcc (GCC) 4.1.0 20050806 (experimental)
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/23319] Compiler crash with interface as generic formal parameter
2005-08-10 20:56 [Bug ada/23319] New: Compiler crash with interface as generic formal parameter kafka dot fr at laposte dot net
@ 2005-08-10 20:57 ` kafka dot fr at laposte dot net
2005-08-10 21:22 ` [Bug ada/23319] [4.1 Regression] " laurent at guerby dot net
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: kafka dot fr at laposte dot net @ 2005-08-10 20:57 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From kafka dot fr at laposte dot net 2005-08-10 20:57 -------
Created an attachment (id=9465)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9465&action=view)
Files to trigger the bug (concatenated for use with gnatchop)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/23319] [4.1 Regression] Compiler crash with interface as generic formal parameter
2005-08-10 20:56 [Bug ada/23319] New: Compiler crash with interface as generic formal parameter kafka dot fr at laposte dot net
2005-08-10 20:57 ` [Bug ada/23319] " kafka dot fr at laposte dot net
@ 2005-08-10 21:22 ` laurent at guerby dot net
2005-08-10 21:24 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: laurent at guerby dot net @ 2005-08-10 21:22 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-08-10 21:22 -------
Confirmed on 4.1.0 20050809 (experimental) (i686-pc-linux-gnu).
4.0.x gives an error so I assume ICE on invalid for now.
guerby@m:~/tmp/b23319> gcc -c -gnat05 test.adb
pkg.ads:4:25: expecting generic type definition here
guerby@m:~/tmp/b23319> gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /home/guerby/work/gcc/version-4.0/configure
--prefix=/home/guerby/work/gcc/install/install-20050810T125640
--enable-languages=ada,c --enable-__cxa_atexit --disable-nls
--enable-threads=posix --disable-multilib --enable-checking
Thread model: posix
gcc version 4.0.2 20050810 (prerelease)
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |ice-on-invalid-code
Last reconfirmed|0000-00-00 00:00:00 |2005-08-10 21:22:41
date| |
Summary|Compiler crash with |[4.1 Regression] Compiler
|interface as generic formal |crash with interface as
|parameter |generic formal parameter
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/23319] [4.1 Regression] Compiler crash with interface as generic formal parameter
2005-08-10 20:56 [Bug ada/23319] New: Compiler crash with interface as generic formal parameter kafka dot fr at laposte dot net
2005-08-10 20:57 ` [Bug ada/23319] " kafka dot fr at laposte dot net
2005-08-10 21:22 ` [Bug ada/23319] [4.1 Regression] " laurent at guerby dot net
@ 2005-08-10 21:24 ` pinskia at gcc dot gnu dot org
2005-08-22 5:00 ` mmitchel at gcc dot gnu dot org
2005-09-06 14:02 ` [Bug ada/23319] " charlet at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-08-10 21:24 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|critical |normal
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/23319] [4.1 Regression] Compiler crash with interface as generic formal parameter
2005-08-10 20:56 [Bug ada/23319] New: Compiler crash with interface as generic formal parameter kafka dot fr at laposte dot net
` (2 preceding siblings ...)
2005-08-10 21:24 ` pinskia at gcc dot gnu dot org
@ 2005-08-22 5:00 ` mmitchel at gcc dot gnu dot org
2005-09-06 14:02 ` [Bug ada/23319] " charlet at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2005-08-22 5:00 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2005-08-22 04:57 -------
Ada is not release-critical; removing target milestone.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.1.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/23319] crash with interface as generic formal parameter
2005-08-10 20:56 [Bug ada/23319] New: Compiler crash with interface as generic formal parameter kafka dot fr at laposte dot net
` (3 preceding siblings ...)
2005-08-22 5:00 ` mmitchel at gcc dot gnu dot org
@ 2005-09-06 14:02 ` charlet at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-09-06 14:02 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2005-09-06 14:02 -------
Not a regression: 4.0 simply did not support/recognize interfaces, so
what you are getting is really ana Ada 95 error message.
Code looks valid Ada 2005 at first sight, so removing keyword.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords|ice-on-invalid-code |
Summary|[4.1 Regression] Compiler |crash with interface as
|crash with interface as |generic formal parameter
|generic formal parameter |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23319
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2005-09-06 14:02 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-08-10 20:56 [Bug ada/23319] New: Compiler crash with interface as generic formal parameter kafka dot fr at laposte dot net
2005-08-10 20:57 ` [Bug ada/23319] " kafka dot fr at laposte dot net
2005-08-10 21:22 ` [Bug ada/23319] [4.1 Regression] " laurent at guerby dot net
2005-08-10 21:24 ` pinskia at gcc dot gnu dot org
2005-08-22 5:00 ` mmitchel at gcc dot gnu dot org
2005-09-06 14:02 ` [Bug ada/23319] " charlet at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).