diff --git a/CMakeLists.txt b/CMakeLists.txt
index a086afd71..71469e032 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -380,7 +380,11 @@ endif()
 ################################################################################
 # FIXME: Support ARM "-mfpu=vfp -mfloat-abi=hard"
 if (("${TARGET_ARCHITECTURE}" STREQUAL "x86_64") OR ("${TARGET_ARCHITECTURE}" STREQUAL "i686"))
-  if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang"))
+  if (("${CMAKE_CXX_COMPILER_ID}" MATCHES "GNU") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Clang") OR ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Intel"))
+    if ("${CMAKE_CXX_COMPILER_ID}" MATCHES "Intel")
+      # Intel's compiler requires linking with libiomp5
+      list(APPEND Z3_DEPENDENT_LIBS "iomp5")
+    endif()
     set(SSE_FLAGS "-mfpmath=sse" "-msse" "-msse2")
     # FIXME: Remove "x.." when CMP0054 is set to NEW
   elseif ("x${CMAKE_CXX_COMPILER_ID}" STREQUAL "xMSVC")
diff --git a/src/util/memory_manager.h b/src/util/memory_manager.h
index 5cb7dc467..a5205f273 100644
--- a/src/util/memory_manager.h
+++ b/src/util/memory_manager.h
@@ -28,7 +28,7 @@ Revision History:
 #endif
 
 #ifdef __GNUC__
-# if (__GNUC__ * 100 + __GNUC_MINOR__) >= 409 || __has_builtin(returns_nonnull)
+# if ((__GNUC__ * 100 + __GNUC_MINOR__) >= 409 || __has_builtin(returns_nonnull)) && !defined(__INTEL_COMPILER)
 #  define GCC_RET_NON_NULL __attribute__((returns_nonnull))
 # else
 #  define GCC_RET_NON_NULL