Lines Matching refs:ExitSet
335 FactSet ExitSet; member
356 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
1049 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1055 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1059 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet, in intersectAndWarn() argument
1061 intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK); in intersectAndWarn()
1512 const FactSet &ExitSet, in getEdgeLockset() argument
1515 Result = ExitSet; in getEdgeLockset()
2231 const FactSet &ExitSet, in intersectAndWarn() argument
2238 for (const auto &Fact : ExitSet) { in intersectAndWarn()
2247 ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc, in intersectAndWarn()
2255 const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact); in intersectAndWarn()
2447 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()
2470 CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet; in runAnalysis()
2482 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()
2521 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()
2536 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()
2565 intersectAndWarn(ExpectedExitSet, Final->ExitSet, Final->ExitLoc, in runAnalysis()