Searched refs:LDat2 (Results 1 – 1 of 1) sorted by relevance
2024 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn() local2025 FactSet::iterator Iter1 = FSet1.findLockIter(FactMan, *LDat2); in intersectAndWarn()2029 if (LDat1->kind() != LDat2->kind()) { in intersectAndWarn()2030 Handler.handleExclusiveAndShared("mutex", LDat2->toString(), in intersectAndWarn()2031 LDat2->loc(), LDat1->loc()); in intersectAndWarn()2037 else if (Modify && LDat1->asserted() && !LDat2->asserted()) { in intersectAndWarn()2042 LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1, in intersectAndWarn()2050 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn() local2052 if (!LDat2) { in intersectAndWarn()