Searched refs:LDat1 (Results 1 – 1 of 1) sorted by relevance
2028 const FactEntry *LDat1 = nullptr; in intersectAndWarn() local2031 if (Iter1 != FSet1.end()) LDat1 = &FactMan[*Iter1]; in intersectAndWarn()2033 if (LDat1) { in intersectAndWarn()2034 if (LDat1->kind() != LDat2->kind()) { in intersectAndWarn()2036 LDat2->loc(), LDat1->loc()); in intersectAndWarn()2037 if (Modify && LDat1->kind() != LK_Exclusive) { in intersectAndWarn()2042 else if (Modify && LDat1->asserted() && !LDat2->asserted()) { in intersectAndWarn()2054 const FactEntry *LDat1 = &FactMan[Fact]; in intersectAndWarn() local2055 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn()2058 LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2, in intersectAndWarn()[all …]