Lines Matching defs:Cp
880 const CapabilityExpr &Cp, SourceLocation UnlockLoc, in handleUnlock()
951 const CapabilityExpr &Cp, SourceLocation UnlockLoc, in handleUnlock()
973 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
987 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1084 CapabilityExpr Cp = in insertAttrExprs() local
1100 CapabilityExpr Cp = in insertAttrExprs() local
1273 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { in addLock() local
1283 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1317 CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self); in getMutexIDs() local
1329 CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self); in getMutexIDs() local
1582 CapabilityExpr Cp = in warnIfMutexNotHeld() local
1642 CapabilityExpr Cp = in warnIfMutexHeld() local