2028     const FactEntry *LDat1 = nullptr;  in intersectAndWarn()  local
2031     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()  local
2055     const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1);  in intersectAndWarn()
2058       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()
2061         FSet1.removeLock(FactMan, *LDat1);  in intersectAndWarn()