Lines Matching refs:LDat
1289 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock() local
1290 if (!LDat) { in removeLock()
1301 if (ReceivedKind != LK_Generic && LDat->kind() != ReceivedKind) { in removeLock()
1302 Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(), in removeLock()
1303 ReceivedKind, LDat->loc(), UnlockLoc); in removeLock()
1306 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler); in removeLock()
1585 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld() local
1586 if (LDat) { in warnIfMutexNotHeld()
1598 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1599 if (!LDat) { in warnIfMutexNotHeld()
1605 const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld() local
1607 if (!LDat) { in warnIfMutexNotHeld()
1609 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1610 if (LDat) { in warnIfMutexNotHeld()
1612 std::string PartMatchStr = LDat->toString(); in warnIfMutexNotHeld()
1624 if (NoError && LDat && !LDat->isAtLeast(LK)) { in warnIfMutexNotHeld()
1641 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexHeld() local
1642 if (LDat) { in warnIfMutexHeld()