Searched refs:PrevLockset (Results 1 – 1 of 1) sorted by relevance
2390 FactSet PrevLockset; in runAnalysis() local2391 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()2394 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()2397 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()2427 FactSet PrevLockset; in runAnalysis() local2428 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()2432 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()