Searched refs:LDat (Results 1 – 1 of 1) sorted by relevance
793 LockData LDat; member796 : MutID(M), LDat(L) in FactEntry()884 return &FM[*I].LDat; in findLock()893 return &FM[*I].LDat; in findLockUniv()1453 void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat);1493 const LockData &LDat) { in addLock() argument1500 if (!LDat.Asserted) in addLock()1501 Handler.handleDoubleLock(Mutex.toString(), LDat.AcquireLoc); in addLock()1503 FSet.addLock(FactMan, Mutex, LDat); in addLock()1518 const LockData *LDat = FSet.findLock(FactMan, Mutex); in removeLock() local[all …]