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()933 "mutex", sx::toString(UnderlyingMutex.getPointer()), loc(), JoinLoc, 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()[all …]