[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <20180227194828.GA29918@bombadil.infradead.org>
Date: Tue, 27 Feb 2018 11:48:28 -0800
From: Matthew Wilcox <willy@...radead.org>
To: Linus Torvalds <torvalds@...ux-foundation.org>
Cc: linux-kernel@...r.kernel.org
Subject: [PATCH] sparse doesn't support indirect_branch attribute
Don't use __attribute__((indirect_branch)) if we're compiling with
sparse.
Signed-off-by: Matthew Wilcox <mawilcox@...rosoft.com>
diff --git a/include/linux/compiler-gcc.h b/include/linux/compiler-gcc.h
index e2c7f4369eff..b6be4cc25e9d 100644
--- a/include/linux/compiler-gcc.h
+++ b/include/linux/compiler-gcc.h
@@ -93,7 +93,7 @@
#define __weak __attribute__((weak))
#define __alias(symbol) __attribute__((alias(#symbol)))
-#ifdef RETPOLINE
+#if defined(RETPOLINE) && !defined(__CHECKER__)
#define __noretpoline __attribute__((indirect_branch("keep")))
#endif
Powered by blists - more mailing lists