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()
1554 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
2175 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet, in intersectAndWarn() argument
2180 FactSet EntrySetOrig = EntrySet; in intersectAndWarn()
2186 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()
2187 if (EntryIt != EntrySet.end()) { in intersectAndWarn()
2207 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2288 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis()
2379 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()
2386 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc, in runAnalysis()
2441 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()
2454 FactSet ExpectedExitSet = Initial->EntrySet; in runAnalysis()