From: Antony Dovgal <tony2001@php.net>
Date: Fri, 25 Nov 2005 12:25:22 +0000 (+0000)
Subject: ICC doesn't support __attribute__ for pointers
X-Git-Tag: RELEASE_2_0_2~88
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=984ce697ec71005e7c60dc6443d8890d84ff2881;p=php

ICC doesn't support __attribute__ for pointers
---

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)