Lines Matching defs:addLock
844 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) {
1452 void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat);
1491 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, const SExpr &Mutex,
1502 FSet.addLock(FactMan, Mutex, LDat);
1733 addLock(Result, ExclusiveLocksToAdd[i],
1737 addLock(Result, SharedLocksToAdd[i],
1959 Analyzer->addLock(FSet, AssertLocks[i],
1970 Analyzer->addLock(FSet, AssertLocks[i],
2030 Analyzer->addLock(FSet, ExclusiveLocksToAdd[i],
2034 Analyzer->addLock(FSet, SharedLocksToAdd[i],
2046 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive,
2050 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared,
2389 addLock(InitialLockset, ExclusiveLocksToAdd[i],
2393 addLock(InitialLockset, SharedLocksToAdd[i],
2568 ExpectedExitSet.addLock(FactMan, ExclusiveLocksAcquired[i],
2572 ExpectedExitSet.addLock(FactMan, SharedLocksAcquired[i],