diff options
| author | Aaron Puchert <aaron.puchert@sap.com> | 2021-05-27 17:45:59 +0200 |
|---|---|---|
| committer | Aaron Puchert <aaron.puchert@sap.com> | 2021-05-27 17:46:04 +0200 |
| commit | cf0b337c1b1f064c81fe40124ddba178572778d6 (patch) | |
| tree | c8bf4ba7239da6f70e30c142a0e43553e61da72f /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 3d64677c28072867ea6025a22805977386b767f8 (diff) | |
| download | llvm-cf0b337c1b1f064c81fe40124ddba178572778d6.zip llvm-cf0b337c1b1f064c81fe40124ddba178572778d6.tar.gz llvm-cf0b337c1b1f064c81fe40124ddba178572778d6.tar.bz2 | |
Thread safety analysis: Allow exlusive/shared joins for managed and asserted capabilities
Similar to how we allow managed and asserted locks to be held and not
held in joining branches, we also allow them to be held shared and
exclusive. The scoped lock should restore the original state at the end
of the scope in any event, and asserted locks need not be released.
We should probably only allow asserted locks to be subsumed by managed,
not by (directly) acquired locks, but that's for another change.
Reviewed By: delesley
Differential Revision: https://reviews.llvm.org/D102026
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions