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