Searched refs:UnderlyingMutex (Results 1 – 1 of 1) sorted by relevance
966 for (const UnderlyingCapability &UnderlyingMutex : UnderlyingMutexes) in getUnderlyingMutexes() local967 UnderlyingMutexesSet.push_back(UnderlyingMutex.Cap); in getUnderlyingMutexes()990 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleRemovalFromIntersection() local991 const auto *Entry = FSet.findLock(FactMan, UnderlyingMutex.Cap); in handleRemovalFromIntersection()992 if ((UnderlyingMutex.Kind == UCK_Acquired && Entry) || in handleRemovalFromIntersection()993 (UnderlyingMutex.Kind != UCK_Acquired && !Entry)) { in handleRemovalFromIntersection()996 Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(), in handleRemovalFromIntersection()997 UnderlyingMutex.Cap.toString(), loc(), in handleRemovalFromIntersection()1005 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleLock() local1006 if (UnderlyingMutex.Kind == UCK_Acquired) in handleLock()[all …]