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