[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