http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55399
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-11-20 00:44:06 UTC --- So you need to trace the cause of not using the header. -Winvalid-pch may help, but ultimately you need to find whether the file is examined at all, if not then why not, and if examined but rejected then what the cause of the rejection is. And compare with working systems.