Searched refs:UnderlyingMutex (Results 1 – 1 of 1) sorted by relevance
925 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleRemovalFromIntersection() local927 FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false)); in handleRemovalFromIntersection()928 if ((UnderlyingMutex.getInt() == UCK_Acquired && Entry) || in handleRemovalFromIntersection()929 (UnderlyingMutex.getInt() != UCK_Acquired && !Entry)) { in handleRemovalFromIntersection()942 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleLock() local943 CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false); in handleLock()945 if (UnderlyingMutex.getInt() == UCK_Acquired) in handleLock()958 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleUnlock() local959 CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false); in handleUnlock()964 if (UnderlyingMutex.getInt() == UCK_Acquired) { in handleUnlock()[all …]