From 984ce697ec71005e7c60dc6443d8890d84ff2881 Mon Sep 17 00:00:00 2001
From: Antony Dovgal <tony2001@php.net>
Date: Fri, 25 Nov 2005 12:25:22 +0000
Subject: [PATCH] ICC doesn't support __attribute__ for pointers

---
 Zend/zend.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Zend/zend.h b/Zend/zend.h
index 46983a2354..fb954ed618 100644
--- 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)
-- 
2.40.0