datapath: Fix sparse warning on BUILD_BUG_ON_INVALID()

[sliver-openvswitch.git] / datapath / linux / compat / include / linux / bug.h

diff --git a/datapath/linux/compat/include/linux/bug.h b/datapath/linux/compat/include/linux/bug.h
new file mode 100644 (file)
index 0000000..6538a22
--- /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