Lines Matching refs:addLock
208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock() function in __anon6254f0e10111::FactSet
885 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
910 void addLock(const CapabilityExpr &M) { in addLock() function in __anon6254f0e10a11::ScopedLockableFactEntry
982 FSet.addLock(FactMan, in lock()
991 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in unlock()
1025 void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1245 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock() function in ThreadSafetyAnalyzer
1277 FSet.addLock(FactMan, std::move(Entry)); in addLock()
1513 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1516 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1802 Analyzer->addLock( in handleCall()
1813 Analyzer->addLock( in handleCall()
1824 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1887 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1890 Analyzer->addLock( in handleCall()
1903 ScopedEntry->addLock(M); in handleCall()
1905 ScopedEntry->addLock(M); in handleCall()
1907 ScopedEntry->addLock(M); in handleCall()
1912 Analyzer->addLock(FSet, std::move(ScopedEntry)); in handleCall()
2329 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2334 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2461 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2464 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()