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