Lines Matching refs:ExitSet
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()
2175 const FactSet &ExitSet, in intersectAndWarn() argument
2182 for (const auto &Fact : ExitSet) { in intersectAndWarn()
2191 ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc, in intersectAndWarn()
2199 const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact); in intersectAndWarn()
2375 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()
2439 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()
2454 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()
2483 intersectAndWarn(ExpectedExitSet, Final->ExitSet, Final->ExitLoc, in runAnalysis()