Searched refs:FactMan (Results 1 – 1 of 1) sorted by relevance
197 bool isEmpty(FactManager &FactMan) const { in isEmpty()199 if (!FactMan[FID].negative()) in isEmpty()884 FSet.removeLock(FactMan, Cp); in handleUnlock()978 FSet.removeLock(FactMan, Cp); in handleUnlock()985 if (!FSet.findLock(FactMan, Cp)) { in lock()986 FSet.removeLock(FactMan, !Cp); in lock()987 FSet.addLock(FactMan, in lock()997 if (FSet.findLock(FactMan, Cp)) { in unlock()998 FSet.removeLock(FactMan, Cp); in unlock()1019 FactManager FactMan; member in __anonef2eab400a11::ThreadSafetyAnalyzer[all …]