Searched refs:ExpectedFunctionExitSet (Results 1 – 1 of 1) sorted by relevance
2378 FactSet ExpectedFunctionExitSet = Initial.EntrySet; in runAnalysis() local2385 ExpectedFunctionExitSet.addLock( in runAnalysis()2389 ExpectedFunctionExitSet.addLock( in runAnalysis()2393 ExpectedFunctionExitSet.removeLock(FactMan, Lock); in runAnalysis()2454 BuildLockset LocksetBuilder(this, *CurrBlockInfo, ExpectedFunctionExitSet); in runAnalysis()2531 intersectAndWarn(ExpectedFunctionExitSet, Final.ExitSet, Final.ExitLoc, in runAnalysis()