Searched refs:LDat (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 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
[all …]
|