From: Andy Zhou <azhou@nicira.com>
Date: Sat, 21 Dec 2013 00:18:58 +0000 (-0800)
Subject: datapath: Fix sparse warning on BUILD_BUG_ON_INVALID()
X-Git-Tag: v2.1.0~67
X-Git-Url: http://git.cascardo.eti.br/?p=cascardo%2Fovs.git;a=commitdiff_plain;h=7c359202cff3178e7ac22e29714c2983bb585076

datapath: Fix sparse warning on BUILD_BUG_ON_INVALID()

Sparse gives the following warnings when compile against Linux kernel
3.5:

 CHECK   /root/projs/ovs/openvswitch/datapath/linux/skbuff-openvswitch.c
 include/linux/mm.h:405:9: error: undefined identifier
 'BUILD_BUG_ON_INVALID'
 include/linux/mm.h:405:9: error: not a function <noident>

The same issue may also exist in kernel 3.6.

Signed-off-by: Andy Zhou <azhou@nicira.com>
Acked-by: Pravin B Shelar <pshelar@nicira.com>
---

diff --git a/datapath/linux/compat/include/linux/bug.h b/datapath/linux/compat/include/linux/bug.h
new file mode 100644
index 000000000..6538a22fc
--- /dev/null
+++ b/datapath/linux/compat/include/linux/bug.h
@@ -0,0 +1,13 @@
+#ifndef __LINUX_BUG_WRAPPER_H
+#define __LINUX_BUG_WRAPPER_H 1
+
+#include_next <linux/bug.h>
+
+#ifdef __CHECKER__
+#ifndef BUILD_BUG_ON_INVALID
+#define  BUILD_BUG_ON_INVALID(e) (0)
+#endif
+
+#endif /* __CHECKER__ */
+
+#endif