Home | History | Annotate | Download | only in Analysis

Lines Matching defs:LK

779   bool isAtLeast(LockKind LK) {
780 return (LK == LK_Shared) || (LKind == LK_Exclusive);
1792 LockKind LK = getLockKindFromAccessKind(AK);
1812 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1816 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1822 if (NoError && LDat && !LDat->isAtLeast(LK))
1823 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,