Lines Matching refs:EntrySet
339 FactSet EntrySet; member
363 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
1131 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1135 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet, in intersectAndWarn() argument
1137 intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK); in intersectAndWarn()
1612 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
2372 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet, in intersectAndWarn() argument
2377 FactSet EntrySetOrig = EntrySet; in intersectAndWarn()
2383 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()
2384 if (EntryIt != EntrySet.end()) { in intersectAndWarn()
2404 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2487 FactSet &InitialLockset = Initial.EntrySet; in runAnalysis()
2572 FactSet ExpectedFunctionExitSet = Initial.EntrySet; in runAnalysis()
2630 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()
2637 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc, in runAnalysis()
2715 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()