[PATCH] D106375: Thread safety analysis: Mock getter for private mutexes can be undefined
Aaron Puchert via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Jul 23 05:50:01 PDT 2021
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rG0e64a525c12a: Thread safety analysis: Mock getter for private mutexes can be undefined (authored by aaronpuchert).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D106375/new/
https://reviews.llvm.org/D106375
Files:
clang/docs/ThreadSafetyAnalysis.rst
Index: clang/docs/ThreadSafetyAnalysis.rst
===================================================================
--- clang/docs/ThreadSafetyAnalysis.rst
+++ clang/docs/ThreadSafetyAnalysis.rst
@@ -640,8 +640,8 @@
Mutex mu;
public:
- // For thread safety analysis only. Does not actually return mu.
- Mutex* getMu() RETURN_CAPABILITY(mu) { return 0; }
+ // For thread safety analysis only. Does not need to be defined.
+ Mutex* getMu() RETURN_CAPABILITY(mu);
void doSomething() REQUIRES(mu);
};
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D106375.361167.patch
Type: text/x-patch
Size: 526 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20210723/c32036b8/attachment.bin>
More information about the cfe-commits
mailing list