Searched refs:getEdgeLockset (Results 1 – 1 of 1) sorted by relevance
1049 void getEdgeLockset(FactSet &Result, const FactSet &ExitSet,1509 void ThreadSafetyAnalyzer::getEdgeLockset(FactSet& Result, in getEdgeLockset() function in ThreadSafetyAnalyzer2430 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, *PI, CurrBlock); in runAnalysis()2465 getEdgeLockset(PrevLockset, PrevBlockInfo->ExitSet, in runAnalysis()