Lines Matching refs:ExitSet
342 FactSet ExitSet; member
363 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
1124 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1131 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1135 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet, in intersectAndWarn() argument
1137 intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK); in intersectAndWarn()
1532 const FactSet &ExitSet, in getEdgeLockset() argument
1535 Result = ExitSet; in getEdgeLockset()
2373 const FactSet &ExitSet, in intersectAndWarn() argument
2380 for (const auto &Fact : ExitSet) { in intersectAndWarn()
2388 ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc, in intersectAndWarn()
2396 const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact); in intersectAndWarn()
2627 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()
2700 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()
2715 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()
2725 intersectAndWarn(ExpectedFunctionExitSet, Final.ExitSet, Final.ExitLoc, in runAnalysis()