http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57201
--- Comment #5 from Ian Lance Taylor <ian at airs dot com> 2013-05-08 12:30:02 UTC --- Yes, it does issue a warning as expected with -Wsystem-headers.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57201
--- Comment #5 from Ian Lance Taylor <ian at airs dot com> 2013-05-08 12:30:02 UTC --- Yes, it does issue a warning as expected with -Wsystem-headers.