Searched refs:ExpectedFunctionExitSet (Results 1 – 1 of 1) sorted by relevance
2572 FactSet ExpectedFunctionExitSet = Initial.EntrySet; in runAnalysis() local2579 ExpectedFunctionExitSet.addLock( in runAnalysis()2583 ExpectedFunctionExitSet.addLock( in runAnalysis()2587 ExpectedFunctionExitSet.removeLock(FactMan, Lock); in runAnalysis()2648 BuildLockset LocksetBuilder(this, *CurrBlockInfo, ExpectedFunctionExitSet); in runAnalysis()2725 intersectAndWarn(ExpectedFunctionExitSet, Final.ExitSet, Final.ExitLoc, in runAnalysis()