Searched refs:FactMan (Results 1 – 1 of 1) sorted by relevance
198 bool isEmpty(FactManager &FactMan) const { in isEmpty()200 if (!FactMan[FID].negative()) in isEmpty()883 FSet.removeLock(FactMan, Cp); in handleUnlock()969 FSet.removeLock(FactMan, Cp); in handleUnlock()981 FSet.removeLock(FactMan, !Cp); in lock()982 FSet.addLock(FactMan, in lock()989 if (FSet.findLock(FactMan, Cp)) { in unlock()990 FSet.removeLock(FactMan, Cp); in unlock()1014 FactManager FactMan; member in __anon6254f0e10a11::ThreadSafetyAnalyzer1256 FSet.removeLock(FactMan, NegC); in addLock()[all …]