diff options
| author | Paul E. McKenney <[email protected]> | 2020-11-05 21:39:28 +0000 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2020-11-07 01:25:17 +0000 |
| commit | b6ff30849ca723b78306514246b98ca5645d92f5 (patch) | |
| tree | b4110e2cd58cfd0988663fded8e780aae8ba8e47 /scripts/gcc-plugins/structleak_plugin.c | |
| parent | tools/memory-model: Use "buf" and "flag" for message-passing tests (diff) | |
| download | kernel-b6ff30849ca723b78306514246b98ca5645d92f5.tar.gz kernel-b6ff30849ca723b78306514246b98ca5645d92f5.zip | |
tools/memory-model: Label MP tests' producers and consumers
This commit adds comments that label the MP tests' producer and consumer
processes, and also that label the "exists" clause as the bad outcome.
Reported-by: Johannes Weiner <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'scripts/gcc-plugins/structleak_plugin.c')
0 files changed, 0 insertions, 0 deletions