Lines Matching refs:UnderlyingMutex
925 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleRemovalFromIntersection() local
926 const auto *Entry = FSet.findLock(FactMan, UnderlyingMutex.Cap); in handleRemovalFromIntersection()
927 if ((UnderlyingMutex.Kind == UCK_Acquired && Entry) || in handleRemovalFromIntersection()
928 (UnderlyingMutex.Kind != UCK_Acquired && !Entry)) { in handleRemovalFromIntersection()
931 Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(), in handleRemovalFromIntersection()
932 UnderlyingMutex.Cap.toString(), loc(), in handleRemovalFromIntersection()
940 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleLock() local
941 if (UnderlyingMutex.Kind == UCK_Acquired) in handleLock()
942 lock(FSet, FactMan, UnderlyingMutex.Cap, entry.kind(), entry.loc(), in handleLock()
945 unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler); in handleLock()
954 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleUnlock() local
958 if (UnderlyingMutex.Kind == UCK_Acquired) { in handleUnlock()
959 unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler); in handleUnlock()
961 LockKind kind = UnderlyingMutex.Kind == UCK_ReleasedShared in handleUnlock()
964 lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler); in handleUnlock()