Searched refs:ExpectedExitSet (Results 1 – 1 of 1) sorted by relevance
2454 FactSet ExpectedExitSet = Initial->EntrySet; in runAnalysis() local2461 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()2464 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()2467 ExpectedExitSet.removeLock(FactMan, Lock); in runAnalysis()2470 intersectAndWarn(ExpectedExitSet, Final->ExitSet, Final->ExitLoc, in runAnalysis()