Lines Matching defs:UnderlyingMutex

921     for (const UnderlyingCapability &UnderlyingMutex : UnderlyingMutexes)
922       UnderlyingMutexesSet.push_back(UnderlyingMutex.Cap);
945     for (const auto &UnderlyingMutex : UnderlyingMutexes) {
946       const auto *Entry = FSet.findLock(FactMan, UnderlyingMutex.Cap);
947       if ((UnderlyingMutex.Kind == UCK_Acquired && Entry) ||
948           (UnderlyingMutex.Kind != UCK_Acquired && !Entry)) {
951         Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(),
952                                           UnderlyingMutex.Cap.toString(), loc(),
960     for (const auto &UnderlyingMutex : UnderlyingMutexes) {
961       if (UnderlyingMutex.Kind == UCK_Acquired)
962         lock(FSet, FactMan, UnderlyingMutex.Cap, entry.kind(), entry.loc(),
965         unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler);
974     for (const auto &UnderlyingMutex : UnderlyingMutexes) {
978       if (UnderlyingMutex.Kind == UCK_Acquired) {
979         unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler);
981         LockKind kind = UnderlyingMutex.Kind == UCK_ReleasedShared
984         lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler);