Searched refs:LDat (Results 1 – 1 of 1) sorted by relevance
1289 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock() local1290 if (!LDat) { in removeLock()1586 if (LDat) { in warnIfMutexNotHeld()1598 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()1599 if (!LDat) { in warnIfMutexNotHeld()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()[all …]