Lines Matching refs:addLock
211 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock() function in __anon68dfda3c0111::FactSet
886 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
909 void addLock(const CapabilityExpr &M) { in addLock() function in __anon68dfda3c0a11::ScopedLockableFactEntry
986 FSet.addLock(FactMan, in lock()
996 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in unlock()
1030 void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1296 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock() function in ThreadSafetyAnalyzer
1328 FSet.addLock(FactMan, std::move(Entry)); in addLock()
1569 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1573 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1856 Analyzer->addLock( in handleCall()
1869 Analyzer->addLock( in handleCall()
1882 Analyzer->addLock(FSet, in handleCall()
1950 Analyzer->addLock( in handleCall()
1954 Analyzer->addLock( in handleCall()
1968 ScopedEntry->addLock(M); in handleCall()
1970 ScopedEntry->addLock(M); in handleCall()
1972 ScopedEntry->addLock(M); in handleCall()
1977 Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind); in handleCall()
2371 addLock(InitialLockset, std::move(Entry), CapDiagKind, true); in runAnalysis()
2376 addLock(InitialLockset, std::move(Entry), CapDiagKind, true); in runAnalysis()
2539 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2542 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()