2262       const LockData* LDat1 = &FactMan[*I1].LDat;  in intersectAndWarn()  local
2263       if (LDat1->LKind != LDat2.LKind) {  in intersectAndWarn()
2265                                          LDat2.AcquireLoc, LDat1->AcquireLoc);  in intersectAndWarn()
2266         if (Modify && LDat1->LKind != LK_Exclusive) {  in intersectAndWarn()
2271       else if (LDat1->Asserted && !LDat2.Asserted) {  in intersectAndWarn()
2295     const LockData &LDat1 = FactMan[Fact].LDat;  in intersectAndWarn()  local
2298       if (LDat1.UnderlyingMutex.isValid()) {  in intersectAndWarn()
2299         if (FSet1Orig.findLock(FactMan, LDat1.UnderlyingMutex)) {  in intersectAndWarn()
2304                                             LDat1.UnderlyingMutex.toString(),  in intersectAndWarn()
2305                                             LDat1.AcquireLoc, JoinLoc, LEK1);  in intersectAndWarn()
2308       else if (!LDat1.Managed && !FSet1Mutex.isUniversal() && !LDat1.Asserted)  in intersectAndWarn()
2310                                           LDat1.AcquireLoc, JoinLoc, LEK2);  in intersectAndWarn()