Lines Matching refs:UnderlyingMutex
926 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleRemovalFromIntersection() local
927 const auto *Entry = FSet.findLock(FactMan, UnderlyingMutex.Cap); in handleRemovalFromIntersection()
928 if ((UnderlyingMutex.Kind == UCK_Acquired && Entry) || in handleRemovalFromIntersection()
929 (UnderlyingMutex.Kind != UCK_Acquired && !Entry)) { in handleRemovalFromIntersection()
932 Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(), in handleRemovalFromIntersection()
933 UnderlyingMutex.Cap.toString(), loc(), in handleRemovalFromIntersection()
941 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleLock() local
942 if (UnderlyingMutex.Kind == UCK_Acquired) in handleLock()
943 lock(FSet, FactMan, UnderlyingMutex.Cap, entry.kind(), entry.loc(), in handleLock()
946 unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler); in handleLock()
955 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleUnlock() local
959 if (UnderlyingMutex.Kind == UCK_Acquired) { in handleUnlock()
960 unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler); in handleUnlock()
962 LockKind kind = UnderlyingMutex.Kind == UCK_ReleasedShared in handleUnlock()
965 lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler); in handleUnlock()