Index: gcc/include/splay-tree.h
===================================================================
--- gcc.orig/include/splay-tree.h	2009-09-24 21:01:04.544077000 +0200
+++ gcc/include/splay-tree.h	2009-10-22 09:40:22.288986700 +0200
@@ -41,7 +41,13 @@
   typedef unsigned long int libi_uhostptr_t;
   typedef long int libi_shostptr_t;
 #else
+#ifdef __GNUC__
+  __extension__
+#endif
   typedef unsigned long long libi_uhostptr_t;
+#ifdef __GNUC__
+  __extension__
+#endif
   typedef long long libi_shostptr_t;
 #endif