790   LockData LDat;  member
793     : MutID(M), LDat(L)  in FactEntry()
871         return &FM[*I].LDat;  in findLock()
880         return &FM[*I].LDat;  in findLockUniv()
1440   void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat);
1480                                    const LockData &LDat) {  in addLock()  argument
1487     Handler.handleDoubleLock(Mutex.toString(), LDat.AcquireLoc);  in addLock()
1489     FSet.addLock(FactMan, Mutex, LDat);  in addLock()
1504   const LockData *LDat = FSet.findLock(FactMan, Mutex);  in removeLock()  local
1505   if (!LDat) {  in removeLock()
1510   if (LDat->UnderlyingMutex.isValid()) {  in removeLock()
1515       if (FSet.findLock(FactMan, LDat->UnderlyingMutex))  in removeLock()
1516         FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1520       if (!FSet.findLock(FactMan, LDat->UnderlyingMutex)) {  in removeLock()
1521         Handler.handleUnmatchedUnlock(LDat->UnderlyingMutex.toString(),  in removeLock()
1524       FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1802   LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()  local
1804   if (!LDat) {  in warnIfMutexNotHeld()
1809       LDat = &FEntry->LDat;  in warnIfMutexNotHeld()
1822   if (NoError && LDat && !LDat->isAtLeast(LK))  in warnIfMutexNotHeld()
1836   LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);  in warnIfMutexHeld()  local
1837   if (LDat) {  in warnIfMutexHeld()
2172     const LockData &LDat2 = FactMan[*I].LDat;  in intersectAndWarn()
2205     const LockData &LDat1 = FactMan[*I].LDat;  in intersectAndWarn()