>> Can you do "#pragma GCC diagnostic push" > I'll try it next week. It's not documented in the GCC-4.4 Texinfo > manual, though; perhaps it's a recent introduction.
Yes, it's introduced in GCC 4.6.0. http://gcc.gnu.org/gcc-4.6/changes.html Presumably one can use it if available, and fall back on the existing scheme otherwise.