Lines Matching refs:LK
128 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry() argument
130 : CapabilityExpr(CE), LKind(LK), Source(Src), AcquireLoc(Loc) {} in FactEntry()
153 bool isAtLeast(LockKind LK) const { in isAtLeast()
154 return (LKind == LK_Exclusive) || (LK == LK_Shared); in isAtLeast()
860 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() argument
862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1632 LockKind LK = getLockKindFromAccessKind(AK); in warnIfMutexNotHeld() local
1674 LK, Loc, &PartMatchName); in warnIfMutexNotHeld()
1678 LK, Loc); in warnIfMutexNotHeld()
1683 if (NoError && LDat && !LDat->isAtLeast(LK)) { in warnIfMutexNotHeld()
1685 LK, Loc); in warnIfMutexNotHeld()