BMC/Intel-BMC/linux.git/Documentation/dev-tools/kcsan.rst, branch dev-5.8Intel OpenBMC Linux kernel source tree (mirror)https://git.radix-linux.su/BMC/Intel-BMC/linux.git/atom?h=dev-5.82020-06-15T12:10:08+00:00kcsan: Remove __no_kcsan_or_inline2020-06-15T12:10:08+00:00Peter Zijlstrapeterz@infradead.org2020-06-02T15:04:03+00:00urn:sha1:e79302ae8c8cceb51cf642d5ace9da02668cb7b4
There are no more user of this function attribute, also, with us now
actively supporting '__no_kcsan inline' it doesn't make sense to have
in any case.
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
kcsan: Update Documentation to change supported compilers2020-06-11T18:04:02+00:00Marco Elverelver@google.com2020-05-21T14:20:43+00:00urn:sha1:0bb9ab3a6fa7ca9f627d85f6f683fae51598e8c8
Document change in required compiler version for KCSAN, and remove the
now redundant note about __no_kcsan and inlining problems with older
compilers.
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/20200521142047.169334-8-elver@google.com
kcsan: Introduce scoped ASSERT_EXCLUSIVE macros2020-04-14T00:18:13+00:00Marco Elverelver@google.com2020-03-25T16:41:58+00:00urn:sha1:d8949ef1d9f1062848cd068cf369a57ce33dae6f
Introduce ASSERT_EXCLUSIVE_*_SCOPED(), which provide an intuitive
interface to use the scoped-access feature, without having to explicitly
mark the start and end of the desired scope. Basing duration of the
checks on scope avoids accidental misuse and resulting false positives,
which may be hard to debug. See added comments for usage.
The macros are implemented using __attribute__((__cleanup__(func))),
which is supported by all compilers that currently support KCSAN.
Suggested-by: Boqun Feng <boqun.feng@gmail.com>
Suggested-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
kcsan: Update Documentation/dev-tools/kcsan.rst2020-03-25T16:56:00+00:00Marco Elverelver@google.com2020-03-05T14:21:08+00:00urn:sha1:e7325b774cc72edc2cffc4a1ce40f4dbf1bc0930
Extend and improve based on recent changes, and summarize important
bits that have been missing. Tested with "make htmldocs".
Signed-off-by: Marco Elver <elver@google.com>
Cc: Qian Cai <cai@lca.pw>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
kcsan: Document static blacklisting options2020-01-07T15:47:23+00:00Marco Elverelver@google.com2019-12-12T00:07:08+00:00urn:sha1:7161177481d521e725a7bc6c9308ac2968fee038
Updates the section on "Selective analysis", listing all available
options to blacklist reporting data races for: specific accesses,
functions, compilation units, and entire directories.
These options should provide adequate control for maintainers to opt out
of KCSAN analysis at varying levels of granularity. It is hoped to
provide the required control to reflect preferences for handling data
races across the kernel.
Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
kcsan: Add Documentation entry in dev-tools2019-11-16T15:23:13+00:00Marco Elverelver@google.com2019-11-14T18:02:56+00:00urn:sha1:905e672b3af5d2305f8ed58d68e13843217eaa99
Signed-off-by: Marco Elver <elver@google.com>
Acked-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>