--- old/src/cpu/x86/vm/frame_x86.cpp	2014-04-29 16:51:23.000000000 -0400
+++ new/src/cpu/x86/vm/frame_x86.cpp	2014-04-29 16:51:23.000000000 -0400
@@ -48,6 +48,7 @@
 }
 #endif
 
+PRAGMA_FORMAT_MUTE_WARNINGS_FOR_GCC
 
 // Profiling/safepoint support