File tree Expand file tree Collapse file tree 1 file changed +1
-8
lines changed Expand file tree Collapse file tree 1 file changed +1
-8
lines changed Original file line number Diff line number Diff line change @@ -8,8 +8,7 @@ approach to detect races. KCSAN's primary purpose is to detect `data races`_.
8
8
Usage
9
9
-----
10
10
11
- KCSAN is supported in both GCC and Clang. With GCC it requires version 7.3.0 or
12
- later. With Clang it requires version 7.0.0 or later.
11
+ KCSAN requires Clang version 11 or later.
13
12
14
13
To enable KCSAN configure the kernel with::
15
14
@@ -121,12 +120,6 @@ the below options are available:
121
120
static __no_kcsan_or_inline void foo(void) {
122
121
...
123
122
124
- Note: Older compiler versions (GCC < 9) also do not always honor the
125
- ``__no_kcsan `` attribute on regular ``inline `` functions. If false positives
126
- with these compilers cannot be tolerated, for small functions where
127
- ``__always_inline `` would be appropriate, ``__no_kcsan_or_inline `` should be
128
- preferred instead.
129
-
130
123
* To disable data race detection for a particular compilation unit, add to the
131
124
``Makefile ``::
132
125
You can’t perform that action at this time.
0 commit comments