------- Comment #5 from manu at gcc dot gnu dot org 2007-01-14 23:37 ------- Sorry I read your reply later.
So, that is it, isn't it? Wsystem-headers needs to be fixed since we don't want to emit warnings for system headers even if those warnings are correct. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30464