332   FactSet ExitSet;  member
353     return Side == CBS_Entry ? EntrySet : ExitSet;  in getSet()
1044   void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1050   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1054   void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,  in intersectAndWarn()  argument
1056     intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);  in intersectAndWarn()
1472                                           const FactSet &ExitSet,  in getEdgeLockset()  argument
1475   Result = ExitSet;  in getEdgeLockset()
2212                                             const FactSet &ExitSet,  in intersectAndWarn()  argument
2219   for (const auto &Fact : ExitSet) {  in intersectAndWarn()
2228       ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc,  in intersectAndWarn()
2236     const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact);  in intersectAndWarn()
2433       getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock);  in runAnalysis()
2506     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()
2521       intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc,  in runAnalysis()
2531   intersectAndWarn(ExpectedFunctionExitSet, Final.ExitSet, Final.ExitLoc,  in runAnalysis()