Lines Matching refs:addLock
208 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock() function in __anon06d2d5b10111::FactSet
909 FSet.addLock(FactMan, std::move(RFact)); in handleUnlock()
911 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
971 void addLock(const CapabilityExpr &M) { in addLock() function in __anon06d2d5b10a11::ScopedLockableFactEntry
1054 FSet.addLock(FactMan, in lock()
1106 void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1320 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, in addLock() function in ThreadSafetyAnalyzer
1351 FSet.addLock(FactMan, std::move(Entry)); in addLock()
1566 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1569 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1906 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
2066 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
2069 Analyzer->addLock( in handleCall()
2077 ScopedEntry->addLock(M); in handleCall()
2079 ScopedEntry->addLock(M); in handleCall()
2081 ScopedEntry->addLock(M); in handleCall()
2086 Analyzer->addLock(FSet, std::move(ScopedEntry)); in handleCall()
2553 ScopedEntry->addLock(M); in runAnalysis()
2554 addLock(InitialLockset, std::move(ScopedEntry), true); in runAnalysis()
2561 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2566 addLock(InitialLockset, std::move(Entry), true); in runAnalysis()
2579 ExpectedFunctionExitSet.addLock( in runAnalysis()
2583 ExpectedFunctionExitSet.addLock( in runAnalysis()