diff --git a/clang/lib/Analysis/ThreadSafety.cpp b/clang/lib/Analysis/ThreadSafety.cpp --- a/clang/lib/Analysis/ThreadSafety.cpp +++ b/clang/lib/Analysis/ThreadSafety.cpp @@ -2142,6 +2142,9 @@ // handle constructors that involve temporaries if (auto *EWC = dyn_cast(E)) E = EWC->getSubExpr(); + if (auto *ICE = dyn_cast(E)) + if (ICE->getCastKind() == CK_NoOp) + E = ICE->getSubExpr(); if (auto *BTE = dyn_cast(E)) E = BTE->getSubExpr(); diff --git a/clang/test/SemaCXX/warn-thread-safety-analysis.cpp b/clang/test/SemaCXX/warn-thread-safety-analysis.cpp --- a/clang/test/SemaCXX/warn-thread-safety-analysis.cpp +++ b/clang/test/SemaCXX/warn-thread-safety-analysis.cpp @@ -3051,6 +3051,20 @@ int b = a; // expected-warning {{reading variable 'a' requires holding mutex 'getMutexPtr()'}} } +#ifdef __cpp_guaranteed_copy_elision + +void guaranteed_copy_elision() { + MutexLock lock = MutexLock{&sls_mu}; + sls_guard_var = 0; +} + +void guaranteed_copy_elision_const() { + const MutexLock lock = MutexLock{&sls_mu}; + sls_guard_var = 0; +} + +#endif + } // end namespace TemporaryCleanupExpr