[clang] Thread Safety Analysis: Check managed capabilities of returned scoped capability (PR #131831)

Aaron Puchert via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 19 09:14:35 PDT 2025


================
@@ -2041,15 +2042,16 @@ void BuildLockset::handleCall(const Expr *Exp, const NamedDecl *D,
         if (!a.has_value()) {
           Analyzer->Handler.handleExpectFewerUnderlyingMutexes(
               Exp->getExprLoc(), D->getLocation(), Scope->toString(),
-              b.value().getKind(), b.value().toString());
+              b.value().getKind(), b.value().toString(), true);
         } else if (!b.has_value()) {
           Analyzer->Handler.handleExpectMoreUnderlyingMutexes(
               Exp->getExprLoc(), D->getLocation(), Scope->toString(),
-              a.value().getKind(), a.value().toString());
-        } else if (!a.value().equals(b.value())) {
+              a.value().getKind(), a.value().toString(), true);
+        } else if (!a.value().matches(b.value())) {
----------------
aaronpuchert wrote:

I think this should remain `equals`.

https://github.com/llvm/llvm-project/pull/131831


More information about the cfe-commits mailing list