Lines Matching refs:addLock
208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock() function in __anon721e4a080111::FactSet
885 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
910 void addLock(const CapabilityExpr &M) { in addLock() function in __anon721e4a080a11::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()
1827 Analyzer->addLock( in handleCall()
1838 Analyzer->addLock( in handleCall()
1849 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1912 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1915 Analyzer->addLock( in handleCall()
1922 ScopedEntry->addLock(M); in handleCall()
1924 ScopedEntry->addLock(M); in handleCall()
1926 ScopedEntry->addLock(M); in handleCall()
1931 Analyzer->addLock(FSet, std::move(ScopedEntry)); in handleCall()
2328 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2333 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2474 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2477 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()