Lines Matching refs:addLock

211   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()  function in __anon3cf8d6650111::FactSet
886 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
909 void addLock(const CapabilityExpr &M) { in addLock() function in __anon3cf8d6650a11::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,
1298 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock() function in ThreadSafetyAnalyzer
1330 FSet.addLock(FactMan, std::move(Entry)); in addLock()
1571 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1575 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1858 Analyzer->addLock( in handleCall()
1871 Analyzer->addLock( in handleCall()
1884 Analyzer->addLock(FSet, in handleCall()
1952 Analyzer->addLock( in handleCall()
1956 Analyzer->addLock( in handleCall()
1970 ScopedEntry->addLock(M); in handleCall()
1972 ScopedEntry->addLock(M); in handleCall()
1974 ScopedEntry->addLock(M); in handleCall()
1979 Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind); in handleCall()
2388 addLock(InitialLockset, std::move(Entry), CapDiagKind, true); in runAnalysis()
2393 addLock(InitialLockset, std::move(Entry), CapDiagKind, true); in runAnalysis()
2556 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2559 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()