diff options
-rw-r--r-- | lib/curl_addrinfo.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/curl_addrinfo.c b/lib/curl_addrinfo.c index 19f73c48c..515ddcfd2 100644 --- a/lib/curl_addrinfo.c +++ b/lib/curl_addrinfo.c @@ -74,7 +74,12 @@ void Curl_freeaddrinfo(Curl_addrinfo *cahead) { +#if defined(__INTEL_COMPILER) && (__INTEL_COMPILER == 910) + volatile Curl_addrinfo * volatile ca; + volatile Curl_addrinfo * volatile canext; +#else Curl_addrinfo *ca, *canext; +#endif for(ca = cahead; ca != NULL; ca = canext) { |