diff options
Diffstat (limited to 'src/localconsts.h')
| -rw-r--r-- | src/localconsts.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/localconsts.h b/src/localconsts.h index 3620d441f..f54ae5659 100644 --- a/src/localconsts.h +++ b/src/localconsts.h @@ -71,11 +71,15 @@ #define DEPRECATED __attribute__ ((deprecated)) #define restrict __restrict__ +#ifdef __INTEL_COMPILER +#define RETURNS_NONNULL +#else // __INTEL_COMPILER #if GCC_VERSION < 40900 #define RETURNS_NONNULL -#else +#else // GCC_VERSION < 40900 #define RETURNS_NONNULL __attribute__((returns_nonnull)) -#endif +#endif // GCC_VERSION < 40900 +#endif // __INTEL_COMPILER #ifndef ENABLE_CILKPLUS #define A_NONNULL(...) __attribute__((nonnull (__VA_ARGS__))) |