Lines Matching defs:EntrySet
334 FactSet EntrySet;
358 return Side == CBS_Entry ? EntrySet : ExitSet;
1074 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1078 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1080 intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);
1596 : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),
2325 /// \param EntrySet A lockset for entry into a (possibly new) block.
2328 /// \param EntryLEK The warning if a mutex is missing from \p EntrySet.
2330 void ThreadSafetyAnalyzer::intersectAndWarn(FactSet &EntrySet,
2335 FactSet EntrySetOrig = EntrySet;
2337 // Find locks in ExitSet that conflict or are not in EntrySet, and warn.
2341 FactSet::iterator EntryIt = EntrySet.findLockIter(FactMan, ExitFact);
2342 if (EntryIt != EntrySet.end()) {
2352 // Find locks in EntrySet that are not in ExitSet, and remove them.
2363 EntrySet.removeLock(FactMan, *EntryFact);
2446 FactSet &InitialLockset = Initial.EntrySet;
2536 FactSet ExpectedFunctionExitSet = Initial.EntrySet;
2594 CurrBlockInfo->EntrySet = PrevLockset;
2601 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc,
2679 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc,