diff options
| author | Marco Elver <[email protected]> | 2021-11-30 12:44:17 +0100 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2021-12-09 16:42:27 -0800 |
| commit | 82eb6911d909cc8bd2838048f0dac7263ab63373 (patch) | |
| tree | 3a0fb2342d76a1204fa218a4c2ed073a4291c19f /lib/test_overflow.c | |
| parent | be3f6967ec5947dd7b2f23bf9d42bb2729889618 (diff) | |
kcsan: Document modeling of weak memory
Document how KCSAN models a subset of weak memory and the subset of
missing memory barriers it can detect as a result.
Signed-off-by: Marco Elver <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'lib/test_overflow.c')
0 files changed, 0 insertions, 0 deletions