Lines Matching defs:ExitSet
337 FactSet ExitSet;
358 return Side == CBS_Entry ? EntrySet : ExitSet;
1068 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,
1074 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1078 void intersectAndWarn(FactSet &EntrySet, const FactSet &ExitSet,
1080 intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);
1493 /// as the ExitSet parameter) plus any trylocks, which are conditionally held.
1495 const FactSet &ExitSet,
1498 Result = ExitSet;
2326 /// \param ExitSet The lockset on exiting a preceding block.
2329 /// \param ExitLEK The warning if a mutex is missing from \p ExitSet.
2331 const FactSet &ExitSet,
2337 // Find locks in ExitSet that conflict or are not in EntrySet, and warn.
2338 for (const auto &Fact : ExitSet) {
2347 ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc,
2352 // Find locks in EntrySet that are not in ExitSet, and remove them.
2355 const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact);
2591 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock);
2664 CurrBlockInfo->ExitSet = LocksetBuilder.FSet;
2679 intersectAndWarn(PreLoop->EntrySet, LoopEnd->ExitSet, PreLoop->EntryLoc,
2689 intersectAndWarn(ExpectedFunctionExitSet, Final.ExitSet, Final.ExitLoc,