Searched refs:UnderlyingMutex (Results 1 – 1 of 1) sorted by relevance
929 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleRemovalFromIntersection() local931 FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false)); in handleRemovalFromIntersection()932 if ((UnderlyingMutex.getInt() == UCK_Acquired && Entry) || in handleRemovalFromIntersection()933 (UnderlyingMutex.getInt() != UCK_Acquired && !Entry)) { in handleRemovalFromIntersection()946 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleLock() local947 CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false); in handleLock()949 if (UnderlyingMutex.getInt() == UCK_Acquired) in handleLock()962 for (const auto &UnderlyingMutex : UnderlyingMutexes) { in handleUnlock() local963 CapabilityExpr UnderCp(UnderlyingMutex.getPointer(), false); in handleUnlock()968 if (UnderlyingMutex.getInt() == UCK_Acquired) { in handleUnlock()[all …]