Searched refs:LDat (Results 1 – 1 of 1) sorted by relevance
790 LockData LDat; member793 : 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() argument1487 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() local1505 if (!LDat) { in removeLock()[all …]