diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-06-17 06:07:34 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-06-17 06:07:37 -0400 |
| commit | 9a482d360401e1fa0beae8fa27948a9175e12bf5 (patch) | |
| tree | 26c551d6defe10bac6609571c141f03e15c2f252 /test | |
| parent | 62d863f9157df54bfb109d68114ada8130ecd3f0 (diff) | |
| parent | f8213c05f087e5fbb5d92a291f766b0baebc798f (diff) | |
Merge #19249: Add means to handle negative capabilities in the Clang Thread Safety annotations
f8213c05f087e5fbb5d92a291f766b0baebc798f Add means to handle negative capabilities in thread safety annotations (Hennadii Stepanov)
Pull request description:
This commit is separated from #19238, and it adds support of [Negative Capabilities](https://clang.llvm.org/docs/ThreadSafetyAnalysis.html#negative) in the Clang Thread Safety Analysis attributes.
> Negative requirements are an alternative `EXCLUDES` [`LOCKS_EXCLUDED`] that provide a stronger safety guarantee. A negative requirement uses the `REQUIRES` [`EXCLUSIVE_LOCKS_REQUIRED`] attribute, in conjunction with the ! operator, to indicate that a capability should not be held.
Examples of usage:
- #19238 (for a class)
- https://github.com/hebasto/bitcoin/tree/200610-addrman-tsn (for the whole code base)
ACKs for top commit:
MarcoFalke:
Approach ACK f8213c05f087e5fbb5d92a291f766b0baebc798f
vasild:
ACK f8213c05
Tree-SHA512: 86d992826b87579661bd228712ae5ee6acca6f70b885ef7e96458974eac184e4874a525c669607ba6b6c861aa4806409a8792d100e6914c858bcab43d31cfb1b
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions