Lines Matching refs:addLock
842 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) { in addLock() function in __anond7afc2f90111::FactSet
1440 void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat);
1479 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, const SExpr &Mutex, in addLock() function in __anond7afc2f90111::ThreadSafetyAnalyzer
1489 FSet.addLock(FactMan, Mutex, LDat); in addLock()
1720 addLock(Result, ExclusiveLocksToAdd[i], in getEdgeLockset()
1724 addLock(Result, SharedLocksToAdd[i], in getEdgeLockset()
1993 Analyzer->addLock(FSet, ExclusiveLocksToAdd[i], in handleCall()
1997 Analyzer->addLock(FSet, SharedLocksToAdd[i], in handleCall()
2009 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive, in handleCall()
2013 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared, in handleCall()
2181 FSet1.addLock(FactMan, FSet2Mutex, LDat2); in intersectAndWarn()
2329 addLock(InitialLockset, ExclusiveLocksToAdd[i], in runAnalysis()
2333 addLock(InitialLockset, SharedLocksToAdd[i], in runAnalysis()