332   FactSet ExitSet;  member
353     return Side == CBS_Entry ? EntrySet : ExitSet;  in getSet()
1043   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1049   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1053   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,  in intersectAndWarn()  argument
1055     intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);  in intersectAndWarn()
1458                                           const FactSet &ExitSet,  in getEdgeLockset()  argument
1461   Result = ExitSet;  in getEdgeLockset()
2176                                             const FactSet &ExitSet,  in intersectAndWarn()  argument
2183   for (const auto &Fact : ExitSet) {  in intersectAndWarn()
2192       ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc,  in intersectAndWarn()
2200     const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact);  in intersectAndWarn()
2376       getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock);  in runAnalysis()
2426     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()
2441       intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc,  in runAnalysis()
2470   intersectAndWarn(ExpectedExitSet, Final->ExitSet, Final->ExitLoc,  in runAnalysis()