Lines Matching defs:addLock
827 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) {
1419 void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat,
1536 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, const SExpr &Mutex,
1547 FSet.addLock(FactMan, Mutex, LDat);
1791 addLock(Result, ExclusiveLockToAdd, LockData(Loc, LK_Exclusive),
1794 addLock(Result, SharedLockToAdd, LockData(Loc, LK_Shared), CapDiagKind);
2012 Analyzer->addLock(FSet, AssertLock,
2023 Analyzer->addLock(FSet, AssertLock,
2077 Analyzer->addLock(FSet, M, LockData(Loc, LK_Exclusive, isScopedVar),
2080 Analyzer->addLock(FSet, M, LockData(Loc, LK_Shared, isScopedVar),
2091 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive, M),
2094 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared, M),
2432 addLock(InitialLockset, ExclusiveLockToAdd, LockData(Loc, LK_Exclusive),
2435 addLock(InitialLockset, SharedLockToAdd, LockData(Loc, LK_Shared),
2605 ExpectedExitSet.addLock(FactMan, Lock,
2608 ExpectedExitSet.addLock(FactMan, Lock,