Marco Elver
0e1aa5b621
kcsan: Restrict supported compilers
...
The first version of Clang that supports -tsan-distinguish-volatile will
be able to support KCSAN. The first Clang release to do so, will be
Clang 11. This is due to satisfying all the following requirements:
1. Never emit calls to __tsan_func_{entry,exit}.
2. __no_kcsan functions should not call anything, not even
kcsan_{enable,disable}_current(), when using __{READ,WRITE}_ONCE => Requires
leaving them plain!
3. Support atomic_{read,set}*() with KCSAN, which rely on
arch_atomic_{read,set}*() using __{READ,WRITE}_ONCE() => Because of
#2 , rely on Clang 11's -tsan-distinguish-volatile support. We will
double-instrument atomic_{read,set}*(), but that's reasonable given
it's still lower cost than the data_race() variant due to avoiding 2
extra calls (kcsan_{en,dis}able_current() calls).
4. __always_inline functions inlined into __no_kcsan functions are never
instrumented.
5. __always_inline functions inlined into instrumented functions are
instrumented.
6. __no_kcsan_or_inline functions may be inlined into __no_kcsan functions =>
Implies leaving 'noinline' off of __no_kcsan_or_inline.
7. Because of #6 , __no_kcsan and __no_kcsan_or_inline functions should never be
spuriously inlined into instrumented functions, causing the accesses of the
__no_kcsan function to be instrumented.
Older versions of Clang do not satisfy #3 . The latest GCC currently
doesn't support at least #1 , #3 , and #7 .
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Borislav Petkov <bp@suse.de>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Will Deacon <will@kernel.org>
Link: https://lkml.kernel.org/r/CANpmjNMTsY_8241bS7=XAfqvZHFLrVEkv_uM4aDUWE_kh3Rvbw@mail.gmail.com
Link: https://lkml.kernel.org/r/20200521142047.169334-7-elver@google.com
2020-06-11 20:04:00 +02:00
..
2019-07-03 16:57:17 +02:00
2020-05-08 15:32:17 +10:00
2019-07-25 11:34:39 -07:00
2019-06-20 10:11:24 +02:00
2020-06-01 14:23:25 -06:00
2020-01-17 11:12:06 +01:00
2019-09-20 09:06:26 -07:00
2019-09-25 17:51:41 -07:00
2020-06-09 10:03:12 -07:00
2020-06-01 12:00:10 -07:00
2020-04-09 00:12:48 +09:00
2019-07-02 08:41:37 +02:00
2020-03-21 15:24:03 +01:00
2019-11-15 18:34:00 -08:00
2020-01-31 10:30:40 -08:00
2020-01-31 10:30:40 -08:00
2020-06-04 19:06:25 -07:00
2019-09-15 19:42:16 +02:00
2020-03-25 11:50:48 +01:00
2018-06-12 16:19:22 -07:00
2019-05-24 17:39:02 +02:00
2019-05-24 17:39:02 +02:00
2019-05-24 17:27:11 +02:00
2019-05-24 17:27:11 +02:00
2019-05-30 11:26:32 -07:00
2019-06-03 12:32:56 +02:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2020-05-24 20:48:11 +02:00
2020-04-20 15:45:41 -06:00
2019-05-21 10:50:45 +02:00
2020-03-03 17:38:42 -05:00
2019-11-14 13:15:11 -05:00
2019-06-05 17:37:16 +02:00
2018-08-16 12:14:42 -07:00
2020-06-01 08:23:42 -04:00
2019-05-24 17:27:11 +02:00
2018-11-30 07:22:05 +01:00
2017-11-02 11:10:55 +01:00
2020-05-29 16:11:50 -04:00
2019-06-19 17:09:55 +02:00
2017-11-02 11:10:55 +01:00
2019-06-19 17:09:06 +02:00
2019-05-24 17:39:02 +02:00
2017-11-02 11:10:55 +01:00
2019-10-18 15:01:57 +02:00
2020-03-20 13:06:18 +01:00
2019-06-19 17:09:06 +02:00
2019-06-19 17:09:06 +02:00
2017-09-26 15:01:20 -06:00
2019-06-19 17:09:06 +02:00
2019-02-15 19:50:07 +01:00
2018-07-27 19:04:33 +08:00
2017-02-24 17:46:57 -08:00
2020-01-23 11:40:01 -07:00
2019-06-19 17:09:06 +02:00
2019-06-19 17:09:06 +02:00
2019-06-19 17:09:06 +02:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2020-05-19 15:47:21 +02:00
2020-01-17 15:45:01 +01:00
2018-06-12 23:33:24 +02:00
2018-07-27 19:16:38 +08:00
2020-01-31 10:30:40 -08:00
2019-06-19 17:09:55 +02:00
2015-09-10 13:29:01 -07:00
2019-05-24 17:37:53 +02:00
2015-09-10 13:29:01 -07:00
2017-11-02 11:10:55 +01:00
2020-01-06 09:45:59 +01:00
2019-07-10 18:43:43 -07:00
2020-06-09 09:39:13 -07:00
2020-06-08 11:05:56 -07:00
2017-11-15 11:56:19 -08:00
2019-06-05 17:36:37 +02:00
2019-10-17 16:23:25 +02:00
2019-04-09 14:19:06 +02:00
2018-04-27 08:51:26 -04:00
2019-09-25 17:51:39 -07:00
2020-04-15 21:36:41 +01:00
2020-01-08 16:59:19 +00:00
2014-04-30 19:49:37 +01:00
2019-06-05 17:36:38 +02:00
2020-01-31 10:30:41 -08:00
2020-06-04 19:06:25 -07:00
2018-07-27 19:04:33 +08:00
2018-12-29 11:36:44 -08:00
2019-12-04 19:44:13 -08:00
2019-10-14 15:04:00 -07:00
2017-02-24 17:46:57 -08:00
2017-02-24 17:46:57 -08:00
2019-09-25 17:51:39 -07:00
2019-05-13 11:07:33 +02:00
2019-11-01 22:26:34 -04:00
2017-11-02 11:10:55 +01:00
2019-05-21 10:50:45 +02:00
2019-05-21 10:50:45 +02:00
2019-06-19 17:09:56 +02:00
2019-01-22 13:39:59 +01:00
2018-05-09 06:55:44 +02:00
2020-06-09 09:39:13 -07:00
2020-03-21 09:41:55 +01:00
2019-02-19 20:52:19 -07:00
2019-05-30 11:26:32 -07:00
2019-05-24 17:27:11 +02:00
2017-11-02 11:10:55 +01:00
2020-06-01 15:45:27 -07:00
2020-06-11 20:02:46 +02:00
2019-12-01 12:59:05 -08:00
2020-06-11 20:04:00 +02:00
2020-05-18 17:49:27 +01:00
2020-06-11 20:03:59 +02:00
2019-08-30 18:47:15 -07:00
2019-06-19 17:09:08 +02:00
2019-04-01 07:37:12 +02:00
2020-06-07 10:53:36 -07:00
2018-10-31 08:54:13 -07:00
2017-11-02 11:10:55 +01:00
2019-05-30 11:26:32 -07:00
2020-05-11 11:55:28 +01:00
2018-04-11 10:28:35 -07:00
2019-06-20 14:07:34 -06:00
2020-03-25 16:38:39 -06:00
2019-06-05 17:37:06 +02:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2017-11-02 11:10:55 +01:00
2019-10-09 12:46:10 +02:00
2019-06-07 13:15:06 -07:00
2020-05-07 14:54:26 +08:00
2019-05-24 17:37:53 +02:00
2019-05-24 17:39:02 +02:00
2020-06-11 20:02:46 +02:00
2018-10-16 13:45:44 +02:00
2019-05-21 10:50:45 +02:00
2019-11-07 15:44:29 +01:00
2017-11-02 11:10:55 +01:00
2019-05-24 17:39:02 +02:00
2017-11-02 11:10:55 +01:00
2019-05-21 10:50:45 +02:00
2020-04-30 17:51:42 -07:00
2018-07-09 14:10:40 +02:00
2017-11-02 11:10:55 +01:00
2019-07-03 16:57:18 +02:00
2017-11-02 11:10:55 +01:00
2020-02-16 18:33:00 -08:00
2019-05-21 10:50:45 +02:00
2019-05-24 17:27:11 +02:00
2017-11-04 09:26:51 +09:00
2019-05-03 10:49:17 -04:00
2017-02-03 16:35:42 -05:00
2019-06-19 17:09:06 +02:00
2018-01-26 11:45:16 -06:00
2018-08-30 12:56:40 +02:00
2019-05-21 10:50:45 +02:00
2020-06-04 19:06:25 -07:00
2019-05-21 11:28:45 +02:00
2019-05-21 10:50:45 +02:00
2020-05-28 10:31:09 +02:00
2019-05-17 11:32:47 -07:00
2019-06-05 17:37:16 +02:00
2019-09-25 17:51:39 -07:00
2020-04-07 10:43:43 -07:00
2019-11-25 09:15:32 +01:00
2020-06-06 15:51:17 -07:00
2019-12-20 16:51:54 -07:00
2020-04-07 10:43:43 -07:00
2019-11-14 13:15:12 -05:00
2019-07-11 15:17:41 -07:00
2019-08-08 07:45:01 -06:00
2020-05-08 15:32:17 +10:00
2019-09-24 15:54:09 -07:00
2019-04-25 19:47:24 +02:00
2019-10-09 12:46:10 +02:00
2019-11-14 13:15:11 -05:00
2020-04-07 10:43:43 -07:00
2019-05-30 11:26:32 -07:00
2019-07-16 19:23:22 -07:00
2020-02-21 11:22:15 -08:00
2020-06-04 19:06:25 -07:00
2020-05-01 12:35:21 +10:00
2019-04-05 09:26:43 -04:00
2018-06-27 18:58:49 +03:00
2020-04-07 10:43:43 -07:00
2020-06-04 19:06:25 -07:00
2019-07-01 19:34:46 -07:00
2020-02-24 16:20:09 -08:00
2019-05-21 10:50:45 +02:00
2020-04-17 09:59:39 +02:00
2019-05-21 10:50:45 +02:00
2018-11-30 12:13:15 -08:00
2020-05-19 16:48:30 -03:00
2020-06-09 09:39:14 -07:00
2018-10-15 16:31:29 -04:00
2020-06-03 20:09:42 -07:00
2020-04-07 10:43:43 -07:00
2020-05-08 18:18:12 +01:00
2019-05-21 10:50:45 +02:00
2020-06-09 09:39:14 -07:00
2018-10-16 13:45:44 +02:00
2019-12-04 19:44:13 -08:00
2020-03-06 11:56:59 +01:00
2019-05-21 10:50:45 +02:00
2019-02-13 22:13:29 -08:00
2019-07-16 19:23:22 -07:00
2017-02-26 11:03:38 -05:00
2020-06-07 10:53:36 -07:00
2019-06-19 17:09:55 +02:00
2017-01-09 13:58:57 -05:00
2019-05-21 10:50:45 +02:00
2020-04-07 10:43:43 -07:00
2019-06-05 17:36:37 +02:00
2019-06-05 17:36:37 +02:00
2019-07-16 19:23:22 -07:00
2019-04-08 16:44:21 -06:00
2020-06-09 10:03:12 -07:00
2019-03-07 18:32:00 -08:00
2019-10-16 14:56:21 +02:00
2017-07-21 09:38:30 +02:00
2020-06-02 10:59:11 -07:00
2020-01-31 15:09:49 -05:00
2015-09-10 13:29:01 -07:00
2016-02-03 08:28:43 -08:00
2019-10-03 12:12:23 -04:00
2019-07-24 17:38:01 +02:00
2020-04-07 10:43:42 -07:00
2020-04-07 10:43:43 -07:00
2020-04-07 10:43:43 -07:00
2020-06-04 19:06:28 -07:00
2019-11-17 09:02:42 +08:00
2019-05-24 17:39:02 +02:00
2018-06-07 17:34:39 -07:00
2020-06-11 20:02:46 +02:00
2020-03-23 17:01:47 +01:00
2020-06-01 12:13:30 -07:00
2017-11-02 11:10:55 +01:00
2020-03-12 17:42:08 -04:00
2017-08-15 09:02:07 -07:00