Searched refs:ExpectedExitSet (Results 1 – 1 of 1) sorted by relevance
2549 FactSet ExpectedExitSet = Initial->EntrySet; in runAnalysis() local2556 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()2559 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()2562 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()2565 intersectAndWarn(ExpectedExitSet, Final->ExitSet, Final->ExitLoc, in runAnalysis()