Lines Matching defs:addLock
213 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {
889 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(
926 void addLock(const CapabilityExpr &M) {
1005 FSet.addLock(FactMan,
1014 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(
1050 void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1282 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,
1314 FSet.addLock(FactMan, std::move(Entry));
1550 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd,
1553 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd,
1867 Analyzer->addLock(
1878 Analyzer->addLock(
1889 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(
2048 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive,
2051 Analyzer->addLock(
2059 ScopedEntry->addLock(M);
2061 ScopedEntry->addLock(M);
2063 ScopedEntry->addLock(M);
2068 Analyzer->addLock(FSet, std::move(ScopedEntry));
2517 ScopedEntry->addLock(M);
2518 addLock(InitialLockset, std::move(ScopedEntry), true);
2525 addLock(InitialLockset, std::move(Entry), true);
2530 addLock(InitialLockset, std::move(Entry), true);
2543 ExpectedFunctionExitSet.addLock(
2547 ExpectedFunctionExitSet.addLock(