Searched refs:LDat1 (Results 1 – 1 of 1) sorted by relevance
2262 const LockData* LDat1 = &FactMan[*I1].LDat; in intersectAndWarn() local2263 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() local2298 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()[all …]