Lines Matching refs:addLock
208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock() function in __anonfc9fb0060111::FactSet
884 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
909 void addLock(const CapabilityExpr &M) { in addLock() function in __anonfc9fb0060a11::ScopedLockableFactEntry
981 FSet.addLock(FactMan, in lock()
990 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in unlock()
1026 void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1259 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock() function in ThreadSafetyAnalyzer
1291 FSet.addLock(FactMan, std::move(Entry)); in addLock()
1527 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1530 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1844 Analyzer->addLock( in handleCall()
1855 Analyzer->addLock( in handleCall()
1866 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1930 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1933 Analyzer->addLock( in handleCall()
1940 ScopedEntry->addLock(M); in handleCall()
1942 ScopedEntry->addLock(M); in handleCall()
1944 ScopedEntry->addLock(M); in handleCall()
1949 Analyzer->addLock(FSet, std::move(ScopedEntry)); in handleCall()
2367 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2372 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2385 ExpectedFunctionExitSet.addLock( in runAnalysis()
2389 ExpectedFunctionExitSet.addLock( in runAnalysis()