145                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
880                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
883     FSet.removeLock(FactMan, Cp);  in handleUnlock()
884     if (!Cp.negative()) {  in handleUnlock()
886                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
951                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
954     assert(!Cp.negative() && "Managing object cannot be negative.");  in handleUnlock()
969       FSet.removeLock(FactMan, Cp);  in handleUnlock()
973   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
976     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
978         Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact->loc(),  in lock()
981       FSet.removeLock(FactMan, !Cp);  in lock()
983                    std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed));  in lock()
987   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
989     if (FSet.findLock(FactMan, Cp)) {  in unlock()
990       FSet.removeLock(FactMan, Cp);  in unlock()
992                                 !Cp, LK_Exclusive, loc));  in unlock()
995       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
997       Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc);  in unlock()
1084           CapabilityExpr Cp =  in insertAttrExprs()  local
1086           if (const ValueDecl *Cpvd = Cp.valueDecl()) {  in insertAttrExprs()
1100           CapabilityExpr Cp =  in insertAttrExprs()  local
1102           if (const ValueDecl *ArgVd = Cp.valueDecl()) {  in insertAttrExprs()
1273   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()  local
1275       Cp->handleLock(FSet, FactMan, *Entry, Handler);  in addLock()
1283 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1286   if (Cp.shouldIgnore())  in removeLock()
1289   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1292     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1294     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1302     Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(),  in removeLock()
1306   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()
1317     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);  in getMutexIDs()  local
1318     if (Cp.isInvalid()) {  in getMutexIDs()
1319       warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind());  in getMutexIDs()
1323     if (!Cp.shouldIgnore())  in getMutexIDs()
1324       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1329     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);  in getMutexIDs()  local
1330     if (Cp.isInvalid()) {  in getMutexIDs()
1331       warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind());  in getMutexIDs()
1335     if (!Cp.shouldIgnore())  in getMutexIDs()
1336       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1575   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()  local
1576   if (Cp.isInvalid()) {  in warnIfMutexNotHeld()
1577     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexNotHeld()
1579   } else if (Cp.shouldIgnore()) {  in warnIfMutexNotHeld()
1583   if (Cp.negative()) {  in warnIfMutexNotHeld()
1585     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1588           Cp.getKind(), D->getNameAsString(), (!Cp).toString(), Loc);  in warnIfMutexNotHeld()
1594     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1598     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1600       Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1605   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1609     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1614       Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1618       Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1625     Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1633   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()  local
1634   if (Cp.isInvalid()) {  in warnIfMutexHeld()
1635     warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexHeld()
1637   } else if (Cp.shouldIgnore()) {  in warnIfMutexHeld()
1641   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1643     Analyzer->Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(),  in warnIfMutexHeld()
1644                                             Cp.toString(), Exp->getExprLoc());  in warnIfMutexHeld()