ICC doesn't support __attribute__ for pointers

diff --git a/Zend/zend.h b/Zend/zend.h
index 46983a2354e9af82b46e3066c9898067b2b933b1..fb954ed6183b33f2f05526c6e270dfe4dbf54aa5 100644 (file)
--- a/Zend/zend.h
+++ b/Zend/zend.h
@@ -172,7 +172,7 @@ char *alloca ();
 # define ZEND_ATTRIBUTE_FORMAT(type, idx, first)
 #endif
 
-#if ZEND_GCC_VERSION >= 3001
+#if ZEND_GCC_VERSION >= 3001 && !defined(__INTEL_COMPILER)
 # define ZEND_ATTRIBUTE_PTR_FORMAT(type, idx, first) __attribute__ ((format(type, idx, first)))
 #else
 # define ZEND_ATTRIBUTE_PTR_FORMAT(type, idx, first)