Home
last modified time | relevance | path

Searched refs:LDat (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/Analysis/
DThreadSafety.cpp1232 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock() local
1233 if (!LDat) { in removeLock()
1240 if (ReceivedKind != LK_Generic && LDat->kind() != ReceivedKind) { in removeLock()
1242 LDat->kind(), ReceivedKind, UnlockLoc); in removeLock()
1245 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler, in removeLock()
1520 FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld() local
1521 if (LDat) { in warnIfMutexNotHeld()
1533 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1534 if (!LDat) { in warnIfMutexNotHeld()
1541 FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp); in warnIfMutexNotHeld() local
[all …]