148                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
881                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
884     FSet.removeLock(FactMan, Cp);  in handleUnlock()
885     if (!Cp.negative()) {  in handleUnlock()
887                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
954                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
957     assert(!Cp.negative() && "Managing object cannot be negative.");  in handleUnlock()
974       FSet.removeLock(FactMan, Cp);  in handleUnlock()
978   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
981     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
983         Handler->handleDoubleLock(DiagKind, Cp.toString(), Fact->loc(), loc);  in lock()
985       FSet.removeLock(FactMan, !Cp);  in lock()
987                    std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed));  in lock()
991   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
994     if (FSet.findLock(FactMan, Cp)) {  in unlock()
995       FSet.removeLock(FactMan, Cp);  in unlock()
997                                 !Cp, LK_Exclusive, loc));  in unlock()
1000       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
1002       Handler->handleUnmatchedUnlock(DiagKind, Cp.toString(), loc, PrevLoc);  in unlock()
1088           CapabilityExpr Cp =  in insertAttrExprs()  local
1090           if (const ValueDecl *Cpvd = Cp.valueDecl()) {  in insertAttrExprs()
1104           CapabilityExpr Cp =  in insertAttrExprs()  local
1106           if (const ValueDecl *ArgVd = Cp.valueDecl()) {  in insertAttrExprs()
1324   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()  local
1326       Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind);  in addLock()
1334 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1338   if (Cp.shouldIgnore())  in removeLock()
1341   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1344     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1346     Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc, PrevLoc);  in removeLock()
1353     Handler.handleIncorrectUnlockKind(DiagKind, Cp.toString(), LDat->kind(),  in removeLock()
1357   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1369     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);  in getMutexIDs()  local
1370     if (Cp.isInvalid()) {  in getMutexIDs()
1375     if (!Cp.shouldIgnore())  in getMutexIDs()
1376       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1381     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);  in getMutexIDs()  local
1382     if (Cp.isInvalid()) {  in getMutexIDs()
1387     if (!Cp.shouldIgnore())  in getMutexIDs()
1388       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1634   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()  local
1635   if (Cp.isInvalid()) {  in warnIfMutexNotHeld()
1638   } else if (Cp.shouldIgnore()) {  in warnIfMutexNotHeld()
1642   if (Cp.negative()) {  in warnIfMutexNotHeld()
1644     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1647           DiagKind, D->getNameAsString(), (!Cp).toString(), Loc);  in warnIfMutexNotHeld()
1653     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1657     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1659       Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1664   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1668     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1673       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1677       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1684     Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1692   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()  local
1693   if (Cp.isInvalid()) {  in warnIfMutexHeld()
1696   } else if (Cp.shouldIgnore()) {  in warnIfMutexHeld()
1700   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1703         DiagKind, D->getNameAsString(), Cp.toString(), Exp->getExprLoc());  in warnIfMutexHeld()