[PATCH] D129755: Thread safety analysis: Support copy-elided production of scoped capabilities through arbitrary calls
Aaron Puchert via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 7 14:59:35 PDT 2022
aaronpuchert added inline comments.
================
Comment at: clang/test/SemaCXX/warn-thread-safety-analysis.cpp:4230-4236
+void testDeferredTemporary() {
+ SelfLockDeferred(); // expected-warning {{releasing mutex '<temporary>.mu_' that was not held}}
+}
+
+void testDeferredTemporary2() {
+ SelfLockDeferred2(); // expected-warning {{releasing mutex '<temporary>' that was not held}}
+}
----------------
Here we're printing `<temporary>`, because we don't have a name for this object.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D129755/new/
https://reviews.llvm.org/D129755
More information about the cfe-commits
mailing list