Lines Matching refs:LDat
1229 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock() local
1230 if (!LDat) { in removeLock()
1237 if (ReceivedKind != LK_Generic && LDat->kind() != ReceivedKind) { in removeLock()
1239 LDat->kind(), ReceivedKind, UnlockLoc); in removeLock()
1242 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler, in removeLock()
1517 FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld() local
1518 if (LDat) { in warnIfMutexNotHeld()
1530 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1531 if (!LDat) { in warnIfMutexNotHeld()
1538 FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld() local
1540 if (!LDat) { in warnIfMutexNotHeld()
1542 LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1543 if (LDat) { in warnIfMutexNotHeld()
1545 std::string PartMatchStr = LDat->toString(); in warnIfMutexNotHeld()
1557 if (NoError && LDat && !LDat->isAtLeast(LK)) { in warnIfMutexNotHeld()
1574 FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexHeld() local
1575 if (LDat) { in warnIfMutexHeld()