Lines Matching refs:EntrySet
329 FactSet EntrySet; member
353 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
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()
1559 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
2174 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet, in intersectAndWarn() argument
2179 FactSet EntrySetOrig = EntrySet; in intersectAndWarn()
2185 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()
2186 if (EntryIt != EntrySet.end()) { in intersectAndWarn()
2206 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2287 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis()
2378 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()
2385 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc, in runAnalysis()
2454 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()
2467 FactSet ExpectedExitSet = Initial->EntrySet; in runAnalysis()