Lines Matching refs:EntrySet
332 FactSet EntrySet; member
356 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
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()
1615 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
2230 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet, in intersectAndWarn() argument
2235 FactSet EntrySetOrig = EntrySet; in intersectAndWarn()
2241 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()
2242 if (EntryIt != EntrySet.end()) { in intersectAndWarn()
2262 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2343 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis()
2450 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()
2453 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()
2470 CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet; in runAnalysis()
2487 CurrBlockInfo->EntrySet, PrevLockset, PrevBlockInfo->ExitLoc, in runAnalysis()
2536 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()
2549 FactSet ExpectedExitSet = Initial->EntrySet; in runAnalysis()