Lines Matching defs:Cp
881 const CapabilityExpr &Cp, SourceLocation UnlockLoc, in handleUnlock()
954 const CapabilityExpr &Cp, SourceLocation UnlockLoc, in handleUnlock()
978 void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in lock()
991 void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp, in unlock()
1088 CapabilityExpr Cp = in insertAttrExprs() local
1104 CapabilityExpr Cp = in insertAttrExprs() local
1324 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { in addLock() local
1334 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp, in removeLock()
1369 CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl); in getMutexIDs() local
1381 CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl); in getMutexIDs() local
1634 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp); in warnIfMutexNotHeld() local
1692 CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp); in warnIfMutexHeld() local