------- Comment #3 from bangerth at dealii dot org 2006-12-04 16:11 -------
Confirmed. While there may not be much that can be done at the place
where the current error is reported, the warning is definitely a valid
request.
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |diagnostic
Last reconfirmed|0000-00-00 00:00:00 |2006-12-04 16:11:48
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30060
