Searched refs:LDat1 (Results 1 – 1 of 1) sorted by relevance
2023 const FactEntry *LDat1 = nullptr; in intersectAndWarn() local2026 if (Iter1 != FSet1.end()) LDat1 = &FactMan[*Iter1]; in intersectAndWarn()2028 if (LDat1) { in intersectAndWarn()2029 if (LDat1->kind() != LDat2->kind()) { in intersectAndWarn()2031 LDat2->loc(), LDat1->loc()); in intersectAndWarn()2032 if (Modify && LDat1->kind() != LK_Exclusive) { in intersectAndWarn()2037 else if (Modify && LDat1->asserted() && !LDat2->asserted()) { in intersectAndWarn()2049 const FactEntry *LDat1 = &FactMan[Fact]; in intersectAndWarn() local2050 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn()2053 LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2, in intersectAndWarn()[all …]