X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcompiler.h;h=2bb801a48c199ec9e47e0bfa4ec4f4fab7bc9994;hb=6ce6d3c928f26bacca60baf716b4b99a05a45ba7;hp=502a48cd16c0e39693db32a5bec87a9cf99247b3;hpb=381328fe36480b63a73cd5b164047e27622e772f;p=openvswitch

diff --git a/lib/compiler.h b/lib/compiler.h
index 502a48cd..2bb801a4 100644
--- a/lib/compiler.h
+++ b/lib/compiler.h
@@ -17,13 +17,20 @@
 #ifndef COMPILER_H
 #define COMPILER_H 1
 
+#ifdef __GNUC__
 #define NO_RETURN __attribute__((__noreturn__))
 #define OVS_UNUSED __attribute__((__unused__))
 #define PRINTF_FORMAT(FMT, ARG1) __attribute__((__format__(printf, FMT, ARG1)))
 #define STRFTIME_FORMAT(FMT) __attribute__((__format__(__strftime__, FMT, 0)))
 #define MALLOC_LIKE __attribute__((__malloc__))
 #define ALWAYS_INLINE __attribute__((always_inline))
-#define likely(x) __builtin_expect((x),1)
-#define unlikely(x) __builtin_expect((x),0)
+#else
+#define NO_RETURN
+#define OVS_UNUSED
+#define PRINTF_FORMAT(FMT, ARG1)
+#define STRFTIME_FORMAT(FMT)
+#define MALLOC_LIKE
+#define ALWAYS_INLINE
+#endif
 
 #endif /* compiler.h */