Lines Matching refs:LK_Exclusive

130     return  (LKind == LK_Exclusive) || (LK == LK_Shared);  in isAtLeast()
839                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
851       : FactEntry(CE, LK_Exclusive, Loc, false) {  in ScopedLockableFactEntry()
880           !UnderCp, LK_Exclusive, UnlockLoc);  in handleUnlock()
1445                                                          LK_Exclusive, Loc),  in getEdgeLockset()
1730                                 AssertLock, LK_Exclusive, Loc, false, true),  in handleCall()
1793                                 M, LK_Exclusive, Loc, isScopedVar),  in handleCall()
1821     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
2037         if (Modify && LDat1->kind() != LK_Exclusive) {  in intersectAndWarn()
2184       auto Entry = llvm::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc);  in runAnalysis()
2362                                          Lock, LK_Exclusive, D->getLocation()));  in runAnalysis()
2403       return LK_Exclusive;  in getLockKindFromAccessKind()