--- 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
--- 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
--- 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/
--- 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
--
--- 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
-
--- 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
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-15
22:12 ---
Confirmed.
--
What|Removed |Added
Status|UNCONFIRMED |NEW
E
--- 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
-