124                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
833                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
836     FSet.removeLock(FactMan, Cp);  in handleUnlock()
837     if (!Cp.negative()) {  in handleUnlock()
839                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
873                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
876     assert(!Cp.negative() && "Managing object cannot be negative.");  in handleUnlock()
901       FSet.removeLock(FactMan, Cp);  in handleUnlock()
987           CapabilityExpr Cp =  in insertAttrExprs()  local
989           if (const ValueDecl *Cpvd = Cp.valueDecl()) {  in insertAttrExprs()
1003           CapabilityExpr Cp =  in insertAttrExprs()  local
1005           if (const ValueDecl *ArgVd = Cp.valueDecl()) {  in insertAttrExprs()
1222 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1226   if (Cp.shouldIgnore())  in removeLock()
1229   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1231     Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc);  in removeLock()
1238     Handler.handleIncorrectUnlockKind(DiagKind, Cp.toString(),  in removeLock()
1242   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1255     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);  in getMutexIDs()  local
1256     if (Cp.isInvalid()) {  in getMutexIDs()
1261     if (!Cp.shouldIgnore())  in getMutexIDs()
1262       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1267     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);  in getMutexIDs()  local
1268     if (Cp.isInvalid()) {  in getMutexIDs()
1273     if (!Cp.shouldIgnore())  in getMutexIDs()
1274       Mtxs.push_back_nodup(Cp);  in getMutexIDs()
1507   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()  local
1508   if (Cp.isInvalid()) {  in warnIfMutexNotHeld()
1511   } else if (Cp.shouldIgnore()) {  in warnIfMutexNotHeld()
1515   if (Cp.negative()) {  in warnIfMutexNotHeld()
1517     FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1520           DiagKind, D->getNameAsString(), (!Cp).toString(), Loc);  in warnIfMutexNotHeld()
1526     if (!Analyzer->inCurrentScope(Cp))  in warnIfMutexNotHeld()
1530     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1532       Analyzer->Handler.handleMutexNotHeld("", D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1538   FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1542     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1547       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1551       Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1558     Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(),  in warnIfMutexNotHeld()
1566   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()  local
1567   if (Cp.isInvalid()) {  in warnIfMutexHeld()
1570   } else if (Cp.shouldIgnore()) {  in warnIfMutexHeld()
1574   FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1577         DiagKind, D->getNameAsString(), Cp.toString(), Exp->getExprLoc());  in warnIfMutexHeld()