================
@@ -1934,8 +1959,18 @@ void ThreadSafetyAnalyzer::checkAccess(const FactSet
&FSet, const Expr *Exp,
Handler.handleNoMutexHeld(D, POK, AK, Loc);
}
- for (const auto *I : D->specific_attrs<GuardedByAttr>())
- warnIfMutexNotHeld(FSet, D, Exp, AK, I->getArg(), POK, nullptr, Loc);
+ for (const auto *I : D->specific_attrs<GuardedByAttr>()) {
+ if (AK == AK_Written || I->args_size() == 1) {
----------------
melver wrote:
Right, so I think I'll have to keep the size==1 case for now.
https://github.com/llvm/llvm-project/pull/186838
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
