Searched refs:ExpectedExitSet (Results 1 – 1 of 1) sorted by relevance
2532 FactSet ExpectedExitSet = Initial->EntrySet; in runAnalysis() local2539 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()2542 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()2545 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()2548 intersectAndWarn(ExpectedExitSet, Final->ExitSet, Final->ExitLoc, in runAnalysis()