Searched refs:PrevLockset (Results 1 – 1 of 1) sorted by relevance
2245 FactSet PrevLockset; in runAnalysis() local2246 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()2249 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()2252 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()2280 FactSet PrevLockset; in runAnalysis() local2281 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()2285 intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset, in runAnalysis()