143                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
902                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
905     FSet.removeLock(FactMan, Cp);  in handleUnlock()
910     } else if (!Cp.negative()) {  in handleUnlock()
912                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
1015                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
1018     assert(!Cp.negative() && "Managing object cannot be negative.");  in handleUnlock()
1033       FSet.removeLock(FactMan, Cp);  in handleUnlock()
1041   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
1044     if (const auto It = FSet.findLockIter(FactMan, Cp); It != FSet.end()) {  in lock()
1050         Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact.loc(), loc);  in lock()
1053       FSet.removeLock(FactMan, !Cp);  in lock()
1055                    std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed));  in lock()
1059   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
1061     if (const auto It = FSet.findLockIter(FactMan, Cp); It != FSet.end()) {  in unlock()
1071           std::make_unique<LockableFactEntry>(!Cp, LK_Exclusive, loc));  in unlock()
1074       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
1076       Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc);  in unlock()
1179           CapabilityExpr Cp =  in insertAttrExprs()  local
1181           if (const ValueDecl *Cpvd = Cp.valueDecl()) {  in insertAttrExprs()
1195           CapabilityExpr Cp =  in insertAttrExprs()  local
1197           if (const ValueDecl *ArgVd = Cp.valueDecl()) {  in insertAttrExprs()
1347   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()  local
1349       Cp->handleLock(FSet, FactMan, *Entry, Handler);  in addLock()
1357 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1360   if (Cp.shouldIgnore())  in removeLock()
1363   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1366     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1368     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1376     Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(),  in removeLock()
1380   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()
1391     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self);  in getMutexIDs()  local
1392     if (Cp.isInvalid()) {  in getMutexIDs()
1393       warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind());  in getMutexIDs()
1397     if (!Cp.shouldIgnore())  in getMutexIDs()
1398       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1403     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self);  in getMutexIDs()  local
1404     if (Cp.isInvalid()) {  in getMutexIDs()
1405       warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind());  in getMutexIDs()
1409     if (!Cp.shouldIgnore())  in getMutexIDs()
1410       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1635   CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self);  in warnIfMutexNotHeld()  local
1636   if (Cp.isInvalid()) {  in warnIfMutexNotHeld()
1637     warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexNotHeld()
1639   } else if (Cp.shouldIgnore()) {  in warnIfMutexNotHeld()
1643   if (Cp.negative()) {  in warnIfMutexNotHeld()
1645     const FactEntry *LDat = FSet.findLock(FactMan, !Cp);  in warnIfMutexNotHeld()
1647       Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(),  in warnIfMutexNotHeld()
1648                                     (!Cp).toString(), Loc);  in warnIfMutexNotHeld()
1654     if (!inCurrentScope(Cp))  in warnIfMutexNotHeld()
1658     LDat = FSet.findLock(FactMan, Cp);  in warnIfMutexNotHeld()
1660       Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1665   const FactEntry *LDat = FSet.findLockUniv(FactMan, Cp);  in warnIfMutexNotHeld()
1669     LDat = FSet.findPartialMatch(FactMan, Cp);  in warnIfMutexNotHeld()
1674       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc,  in warnIfMutexNotHeld()
1678       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()
1684     Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()
1694   CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self);  in warnIfMutexHeld()  local
1695   if (Cp.isInvalid()) {  in warnIfMutexHeld()
1696     warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexHeld()
1698   } else if (Cp.shouldIgnore()) {  in warnIfMutexHeld()
1702   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in warnIfMutexHeld()
1704     Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(),  in warnIfMutexHeld()
1705                                   Cp.toString(), Loc);  in warnIfMutexHeld()
2016       CapabilityExpr Cp(Analyzer->SxBuilder.translate(Arg, nullptr),  in handleCall()  local
2019           Cp.isInvalid() && CBTE) {  in handleCall()
2022           Cp = CapabilityExpr(Object->second, StringRef("mutex"), /*Neg=*/false,  in handleCall()
2025       const FactEntry *Fact = FSet.findLock(Analyzer->FactMan, Cp);  in handleCall()
2027         Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK_FunctionCall,  in handleCall()
2028                                              Cp.toString(), LK_Exclusive,  in handleCall()
2548       CapabilityExpr Cp(SxBuilder.createVariable(Param), StringRef(),  in runAnalysis()  local
2551           Cp, Param->getLocation(), FactEntry::Declared);  in runAnalysis()