[Bug ada/22500] Bug box when using -gnatwa

2007-05-02 Thread charlet at gcc dot gnu dot org
--- 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

[Bug ada/22500] Bug box when using -gnatwa

2006-01-24 Thread charlet at gcc dot gnu dot org
--- 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

[Bug ada/22500] Bug box when using -gnatwa

2006-01-23 Thread kafka dot fr at laposte dot net
--- 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/

[Bug ada/22500] Bug box when using -gnatwa

2006-01-23 Thread charlet at gcc dot gnu dot org
--- 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 --

[Bug ada/22500] Bug box when using -gnatwa

2005-09-06 Thread charlet at gcc dot gnu dot org
--- 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 -

[Bug ada/22500] Bug box when using -gnatwa

2005-09-06 Thread charlet at gcc dot gnu dot org
--- 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 Stat

[Bug ada/22500] Bug box when using -gnatwa

2005-07-15 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-15 22:12 --- Confirmed. -- What|Removed |Added Status|UNCONFIRMED |NEW E

[Bug ada/22500] Bug box when using -gnatwa

2005-07-15 Thread kafka dot fr at laposte dot net
--- 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 -