From: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Date: Sat, 3 Sep 2011 12:37:22 +0000 (-0400)
Subject: Add __rcu annotation (unimplemented)
X-Git-Tag: v0.6.5~38
X-Git-Url: http://git.liburcu.org/?p=userspace-rcu.git;a=commitdiff_plain;h=dc53e23e90262674fe23889bf1cea28b27288837

Add __rcu annotation (unimplemented)

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
---

diff --git a/urcu/compiler.h b/urcu/compiler.h
index f8fce5a..4bced2a 100644
--- a/urcu/compiler.h
+++ b/urcu/compiler.h
@@ -71,4 +71,12 @@
 #define CAA_BUILD_BUG_ON_ZERO(cond) (sizeof(struct { int:-!!(cond); }))
 #define CAA_BUILD_BUG_ON(cond) ((void)BUILD_BUG_ON_ZERO(cond))
 
+/*
+ * __rcu is an annotation that documents RCU pointer accesses that need
+ * to be protected by a read-side critical section. Eventually, a static
+ * checker will be able to use this annotation to detect incorrect RCU
+ * usage.
+ */
+#define __rcu
+
 #endif /* _URCU_COMPILER_H */