public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/22500] New: Bug box when using -gnat
@ 2005-07-15 12:23 kafka dot fr at laposte dot net
2005-07-15 12:24 ` [Bug ada/22500] " kafka dot fr at laposte dot net
` (4 more replies)
0 siblings, 5 replies; 10+ messages in thread
From: kafka dot fr at laposte dot net @ 2005-07-15 12:23 UTC (permalink / raw)
To: gcc-bugs
------------------------------------------------------------------
Full output from gnatmake :
yves@kafka(0) Ada $ gnatmake -gnat05 -gnatc -gnatwe -gnatwa pkg1.adb
gcc -c -gnat05 -gnatc -gnatwe -gnatwa pkg1.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050714 (experimental) (i686-pc-linux-gnu) Assert_Failure
atree.adb:4124|
| Error detected at pkg1.adb:4:14 |
| 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: "pkg1.adb" compilation error
------------------------------------------------------------------
gcc configure command:
../gcc/configure --prefix=/home/yves/Programs/gcc-bin/
--enable-languages=ada,c,c++ --enable-libada
gcc build command :
make CFLAGS='-O' LIBCFLAGS='-g -O2' LIBCXXFLAGS='-g -O2
-fno-implicit-templates' bootstrap
Using gcc 3.3 as preinstalled compiler :
yves@kafka(0) gcc-build $ 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: Bug box when using -gnat
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: normal
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/configure --prefix=/home/yves/Programs/gcc-bin/ -
-enable-
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: gcc version 4.1.0 20050714 (experimental)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnat
2005-07-15 12:23 [Bug ada/22500] New: Bug box when using -gnat kafka dot fr at laposte dot net
@ 2005-07-15 12:24 ` kafka dot fr at laposte dot net
2005-07-15 13:23 ` [Bug ada/22500] Bug box when using -gnatwa kafka dot fr at laposte dot net
` (3 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: kafka dot fr at laposte dot net @ 2005-07-15 12:24 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From kafka dot fr at laposte dot net 2005-07-15 12:23 -------
Created an attachment (id=9278)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9278&action=view)
Concatenated source files that triggered the bug (for gnatchop)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
2005-07-15 12:23 [Bug ada/22500] New: Bug box when using -gnat kafka dot fr at laposte dot net
2005-07-15 12:24 ` [Bug ada/22500] " kafka dot fr at laposte dot net
@ 2005-07-15 13:23 ` kafka dot fr at laposte dot net
2005-07-15 22:14 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: kafka dot fr at laposte dot net @ 2005-07-15 13:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From kafka dot fr at laposte dot net 2005-07-15 12:24 -------
The bug box does not appear when I remove -gnatwa, the result is then fine.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|Bug box when using -gnat |Bug box when using -gnatwa
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
2005-07-15 12:23 [Bug ada/22500] New: Bug box when using -gnat kafka dot fr at laposte dot net
2005-07-15 12:24 ` [Bug ada/22500] " kafka dot fr at laposte dot net
2005-07-15 13:23 ` [Bug ada/22500] Bug box when using -gnatwa kafka dot fr at laposte dot net
@ 2005-07-15 22:14 ` pinskia at gcc dot gnu dot org
2005-09-06 12:12 ` charlet at gcc dot gnu dot org
2005-09-06 12:24 ` charlet at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-15 22:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-15 22:12 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
GCC build triplet|../gcc/configure -- |
|prefix=/home/yves/Programs/g|
|cc-bin/ --enable- |
GCC host triplet|i686-pc-linux-gnu |
GCC target triplet|gcc version 4.1.0 20050714 |
|(experimental) |
Keywords| |ice-on-valid-code
Last reconfirmed|0000-00-00 00:00:00 |2005-07-15 22:12:42
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
2005-07-15 12:23 [Bug ada/22500] New: Bug box when using -gnat kafka dot fr at laposte dot net
` (2 preceding siblings ...)
2005-07-15 22:14 ` pinskia at gcc dot gnu dot org
@ 2005-09-06 12:12 ` charlet at gcc dot gnu dot org
2005-09-06 12:24 ` charlet at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-09-06 12:12 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2005-09-06 12:12 -------
Seems to be working fine with current sources.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
2005-07-15 12:23 [Bug ada/22500] New: Bug box when using -gnat kafka dot fr at laposte dot net
` (3 preceding siblings ...)
2005-09-06 12:12 ` charlet at gcc dot gnu dot org
@ 2005-09-06 12:24 ` charlet at gcc dot gnu dot org
4 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-09-06 12:24 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2005-09-06 12:24 -------
Ooops, I tested with a compiler tested with assertions turned off,
I still get a bug box with assertions enabled, so reopening.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
Target Milestone|4.1.0 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
[not found] <bug-22500-7376@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2006-01-24 9:49 ` charlet at gcc dot gnu dot org
@ 2007-05-02 10:05 ` charlet at gcc dot gnu dot org
3 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2007-05-02 10:05 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from charlet at gcc dot gnu dot org 2007-05-02 11:05 -------
Works fine on trunk now:
$ gcc -c -gnat05 -gnatc -gnatwe -gnatwa pkg1.adb
pkg1.adb:7:24: warning: formal parameter "a" is not referenced
--
charlet at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.3.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
[not found] <bug-22500-7376@http.gcc.gnu.org/bugzilla/>
2006-01-23 11:33 ` charlet at gcc dot gnu dot org
2006-01-23 21:56 ` kafka dot fr at laposte dot net
@ 2006-01-24 9:49 ` charlet at gcc dot gnu dot org
2007-05-02 10:05 ` charlet at gcc dot gnu dot org
3 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2006-01-24 9:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from charlet at gcc dot gnu dot org 2006-01-24 09:49 -------
Reopening then, thanks for checking.
--
charlet at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
Last reconfirmed|2005-07-15 22:12:42 |2006-01-24 09:49:18
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
[not found] <bug-22500-7376@http.gcc.gnu.org/bugzilla/>
2006-01-23 11:33 ` charlet at gcc dot gnu dot org
@ 2006-01-23 21:56 ` kafka dot fr at laposte dot net
2006-01-24 9:49 ` charlet at gcc dot gnu dot org
2007-05-02 10:05 ` charlet at gcc dot gnu dot org
3 siblings, 0 replies; 10+ messages in thread
From: kafka dot fr at laposte dot net @ 2006-01-23 21:56 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from kafka dot fr at laposte dot net 2006-01-23 21:56 -------
(In reply to comment #6)
Sorry, I get the very same bug using trunk (rev. 110140).
Note this bug seems to deal with the "limited with" clause,
nothing related to interfaces...
Regards,
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ada/22500] Bug box when using -gnatwa
[not found] <bug-22500-7376@http.gcc.gnu.org/bugzilla/>
@ 2006-01-23 11:33 ` charlet at gcc dot gnu dot org
2006-01-23 21:56 ` kafka dot fr at laposte dot net
` (2 subsequent siblings)
3 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2006-01-23 11:33 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from charlet at gcc dot gnu dot org 2006-01-23 11:33 -------
Should now work fine on trunk, there have been many fixes in handling of
interfaces, could you confirm ?
Arno
--
charlet at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22500
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2007-05-02 10:05 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-07-15 12:23 [Bug ada/22500] New: Bug box when using -gnat kafka dot fr at laposte dot net
2005-07-15 12:24 ` [Bug ada/22500] " kafka dot fr at laposte dot net
2005-07-15 13:23 ` [Bug ada/22500] Bug box when using -gnatwa kafka dot fr at laposte dot net
2005-07-15 22:14 ` pinskia at gcc dot gnu dot org
2005-09-06 12:12 ` charlet at gcc dot gnu dot org
2005-09-06 12:24 ` charlet at gcc dot gnu dot org
[not found] <bug-22500-7376@http.gcc.gnu.org/bugzilla/>
2006-01-23 11:33 ` charlet at gcc dot gnu dot org
2006-01-23 21:56 ` kafka dot fr at laposte dot net
2006-01-24 9:49 ` charlet at gcc dot gnu dot org
2007-05-02 10:05 ` 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).