Lines Matching refs:EntrySet
329 FactSet EntrySet; member
353 return Side == CBS_Entry ? EntrySet : ExitSet; in getSet()
1050 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1054 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet, in intersectAndWarn() argument
1056 intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK); in intersectAndWarn()
1573 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet), in BuildLockset()
2211 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet, in intersectAndWarn() argument
2216 FactSet EntrySetOrig = EntrySet; in intersectAndWarn()
2222 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact); in intersectAndWarn()
2223 if (EntryIt != EntrySet.end()) { in intersectAndWarn()
2243 EntrySet.removeLock(FactMan, *EntryFact); in intersectAndWarn()
2326 FactSet &InitialLockset = Initial.EntrySet; in runAnalysis()
2378 FactSet ExpectedFunctionExitSet = Initial.EntrySet; in runAnalysis()
2436 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()
2443 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc, in runAnalysis()
2521 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc, in runAnalysis()