diff options
| author |   Linus Torvalds <torvalds@linux-foundation.org> | 2024-05-13 10:13:39 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2024-05-13 10:13:39 -0700 |
| commit | c07ea940a011343fdaec12cd74b4ff947ba6f893 (patch) | |
| tree | 2c3f2cba024008409e948d56e29c58697af918f8 /scripts/generate_rust_analyzer.py | |
| parent | Merge tag 'lkmm.2024.05.10a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu (diff) | |
| parent | kcsan, compiler_types: Introduce __data_racy type qualifier (diff) | |
| download | wireguard-linux-c07ea940a011343fdaec12cd74b4ff947ba6f893.tar.xz wireguard-linux-c07ea940a011343fdaec12cd74b4ff947ba6f893.zip | |
Merge tag 'kcsan.2024.05.10a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu
Pull kcsan update from Paul McKenney:
"Introduce __data_racy type qualifier
This adds a __data_racy type qualifier that enables kernel developers
to inform KCSAN that a given variable is a shared variable without
needing to mark each and every access.
This allows pre-KCSAN code to be correctly (if approximately)
instrumented withh very little effort, and also provides people
reading the code a clear indication that the variable is in fact
shared.
In addition, it permits incremental transition to per-access KCSAN
marking, so that (for example) a given subsystem can be transitioned
one variable at a time, while avoiding large numbers of KCSAN warnings
during this transition"
* tag 'kcsan.2024.05.10a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu:
kcsan, compiler_types: Introduce __data_racy type qualifier
Diffstat (limited to 'scripts/generate_rust_analyzer.py')
0 files changed, 0 insertions, 0 deletions