Searched refs:LK_Exclusive (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 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()
[all …]
|
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafety.h | 46 LK_Exclusive, ///< Exclusive/writer lock of a mutex. enumerator
|