Lines Matching defs:Cp
879 const CapabilityExpr &Cp, SourceLocation UnlockLoc, in handleUnlock()
950 const CapabilityExpr &Cp, SourceLocation UnlockLoc, in handleUnlock()
972 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
986 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1098 CapabilityExpr Cp = in insertAttrExprs() local
1114 CapabilityExpr Cp = in insertAttrExprs() local
1287 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { in addLock() local
1297 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1331 CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self); in getMutexIDs() local
1343 CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self); in getMutexIDs() local
1596 CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self); in warnIfMutexNotHeld() local
1655 CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self); in warnIfMutexHeld() local