Searched refs:LDat2 (Results 1 – 1 of 1) sorted by relevance
2029 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn() local2030 FactSet::iterator Iter1 = FSet1.findLockIter(FactMan, *LDat2); in intersectAndWarn()2034 if (LDat1->kind() != LDat2->kind()) { in intersectAndWarn()2035 Handler.handleExclusiveAndShared("mutex", LDat2->toString(), in intersectAndWarn()2036 LDat2->loc(), LDat1->loc()); in intersectAndWarn()2042 else if (Modify && LDat1->asserted() && !LDat2->asserted()) { in intersectAndWarn()2047 LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1, in intersectAndWarn()2055 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn() local2057 if (!LDat2) { in intersectAndWarn()