Searched defs:LDat2 (Results 1 – 1 of 1) sorted by relevance
2212 const FactEntry &LDat2 = FactMan[Fact]; in intersectAndWarn() local2239 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn() local