Searched refs:FSet2Mutex (Results 1 – 1 of 1) sorted by relevance
2171 const SExpr &FSet2Mutex = FactMan[*I].MutID; in intersectAndWarn() local2174 if (const LockData *LDat1 = FSet1.findLock(FactMan, FSet2Mutex)) { in intersectAndWarn()2176 Handler.handleExclusiveAndShared(FSet2Mutex.toString(), in intersectAndWarn()2180 FSet1.removeLock(FactMan, FSet2Mutex); in intersectAndWarn()2181 FSet1.addLock(FactMan, FSet2Mutex, LDat2); in intersectAndWarn()2195 else if (!LDat2.Managed && !FSet2Mutex.isUniversal()) in intersectAndWarn()2196 Handler.handleMutexHeldEndOfScope(FSet2Mutex.toString(), in intersectAndWarn()