Lines Matching refs:LK_Exclusive
130 return (LKind == LK_Exclusive) || (LK == LK_Shared); in isAtLeast()
837 !Cp, LK_Exclusive, UnlockLoc)); in handleUnlock()
849 : FactEntry(CE, LK_Exclusive, Loc, false) { in ScopedLockableFactEntry()
878 !UnderCp, LK_Exclusive, UnlockLoc); in handleUnlock()
1448 LK_Exclusive, Loc), in getEdgeLockset()
1733 AssertLock, LK_Exclusive, Loc, false, true), in handleCall()
1796 M, LK_Exclusive, Loc, isScopedVar), in handleCall()
1824 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
2032 if (Modify && LDat1->kind() != LK_Exclusive) { in intersectAndWarn()
2179 auto Entry = llvm::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc); in runAnalysis()
2357 Lock, LK_Exclusive, D->getLocation())); in runAnalysis()
2398 return LK_Exclusive; in getLockKindFromAccessKind()