X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcompiler.h;h=0d7ee9f6f27c597479f1db3d4ae5371598d1fbc0;hb=520e9a2acdcf6136bf0a20586df6351ecf72dd3e;hp=6bf514456fbde230ec0c9e5861c90a324275224b;hpb=5f55c39b21e69025045437ffbd3bb98fe6ce2e89;p=openvswitch

diff --git a/lib/compiler.h b/lib/compiler.h
index 6bf51445..0d7ee9f6 100644
--- a/lib/compiler.h
+++ b/lib/compiler.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2008, 2009, 2010 Nicira Networks.
+ * Copyright (c) 2008, 2009, 2010, 2011 Nicira Networks.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -17,7 +17,7 @@
 #ifndef COMPILER_H
 #define COMPILER_H 1
 
-#ifdef __GNUC__
+#if __GNUC__ && !__CHECKER__
 #define NO_RETURN __attribute__((__noreturn__))
 #define OVS_UNUSED __attribute__((__unused__))
 #define PRINTF_FORMAT(FMT, ARG1) __attribute__((__format__(printf, FMT, ARG1)))
@@ -25,6 +25,7 @@
 #define MALLOC_LIKE __attribute__((__malloc__))
 #define ALWAYS_INLINE __attribute__((always_inline))
 #define WARN_UNUSED_RESULT __attribute__((__warn_unused_result__))
+#define SENTINEL(N) __attribute__((sentinel(N)))
 #else
 #define NO_RETURN
 #define OVS_UNUSED
@@ -33,6 +34,7 @@
 #define MALLOC_LIKE
 #define ALWAYS_INLINE
 #define WARN_UNUSED_RESULT
+#define SENTINEL(N)
 #endif
 
 #endif /* compiler.h */