Searched refs:PrevLockset (Results 1 – 1 of 1) sorted by relevance
2240 FactSet PrevLockset; in runAnalysis() local2241 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()2244 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()2247 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()2275 FactSet PrevLockset; in runAnalysis() local2276 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()2280 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()