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