145                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
879                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
882     FSet.removeLock(FactMan, Cp);  in handleUnlock()
883     if (!Cp.negative()) {  in handleUnlock()
885                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
950                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
953     assert(!Cp.negative() && "Managing object cannot be negative.");  in handleUnlock()
968       FSet.removeLock(FactMan, Cp);  in handleUnlock()
972   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
975     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
977         Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact->loc(),  in lock()
980       FSet.removeLock(FactMan, !Cp);  in lock()
982                    std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed));  in lock()
986   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
988     if (FSet.findLock(FactMan, Cp)) {  in unlock()
989       FSet.removeLock(FactMan, Cp);  in unlock()
991                                 !Cp, LK_Exclusive, loc));  in unlock()
994       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
996       Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc);  in unlock()
1098           CapabilityExpr Cp =  in insertAttrExprs()  local
1100           if (const ValueDecl *Cpvd = Cp.valueDecl()) {  in insertAttrExprs()
1114           CapabilityExpr Cp =  in insertAttrExprs()  local
1116           if (const ValueDecl *ArgVd = Cp.valueDecl()) {  in insertAttrExprs()
1287   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()  local
1289       Cp->handleLock(FSet, FactMan, *Entry, Handler);  in addLock()
1297 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1300   if (Cp.shouldIgnore())  in removeLock()
1303   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1306     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1308     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1316     Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(),  in removeLock()
1320   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()
1331     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self);  in getMutexIDs()  local
1332     if (Cp.isInvalid()) {  in getMutexIDs()
1333       warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind());  in getMutexIDs()
1337     if (!Cp.shouldIgnore())  in getMutexIDs()
1338       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1343     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self);  in getMutexIDs()  local
1344     if (Cp.isInvalid()) {  in getMutexIDs()
1345       warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind());  in getMutexIDs()
1349     if (!Cp.shouldIgnore())  in getMutexIDs()
1350       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1596   CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self);  in warnIfMutexNotHeld()  local
1597   if (Cp.isInvalid()) {  in warnIfMutexNotHeld()
1598     warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexNotHeld()
1600   } else if (Cp.shouldIgnore()) {  in warnIfMutexNotHeld()
1604   if (Cp.negative()) {  in warnIfMutexNotHeld()
1606     const FactEntry *LDat = FSet.findLock(FactMan, !Cp);  in warnIfMutexNotHeld()
1608       Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(),  in warnIfMutexNotHeld()
1609                                     (!Cp).toString(), Loc);  in warnIfMutexNotHeld()
1615     if (!inCurrentScope(Cp))  in warnIfMutexNotHeld()
1619     LDat = FSet.findLock(FactMan, Cp);  in warnIfMutexNotHeld()
1621       Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1626   const FactEntry *LDat = FSet.findLockUniv(FactMan, Cp);  in warnIfMutexNotHeld()
1630     LDat = FSet.findPartialMatch(FactMan, Cp);  in warnIfMutexNotHeld()
1635       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc,  in warnIfMutexNotHeld()
1639       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()
1645     Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()
1655   CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self);  in warnIfMutexHeld()  local
1656   if (Cp.isInvalid()) {  in warnIfMutexHeld()
1657     warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind());  in warnIfMutexHeld()
1659   } else if (Cp.shouldIgnore()) {  in warnIfMutexHeld()
1663   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in warnIfMutexHeld()
1665     Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(),  in warnIfMutexHeld()
1666                                   Cp.toString(), Loc);  in warnIfMutexHeld()