------- Comment #16 from mmitchel at gcc dot gnu dot org 2010-02-18 04:40 ------- Paolo --
I don't understand why all libstdc++ headers should not have #pragma GCC system_header in them. Would you please explain that? I think there's a semantic hair that we could split about whether they are "system" headers or "compiler" headers, but in either case, we never want to warn about them. If we made this note into a warning, we would still warn because we would still see that this is not a system header. Thanks, -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42748
