Lines Matching refs:LockableFactEntry
854 class LockableFactEntry : public FactEntry { class
860 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anonef2eab400a11::LockableFactEntry
886 FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in handleUnlock()
988 llvm::make_unique<LockableFactEntry>(Cp, kind, loc)); in lock()
999 FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in unlock()
1554 addLock(Result, llvm::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1558 addLock(Result, llvm::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1843 llvm::make_unique<LockableFactEntry>( in handleCall()
1855 llvm::make_unique<LockableFactEntry>( in handleCall()
1867 llvm::make_unique<LockableFactEntry>( in handleCall()
1931 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
1935 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
2352 auto Entry = llvm::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc); in runAnalysis()
2357 auto Entry = llvm::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc); in runAnalysis()
2526 ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in runAnalysis()
2529 ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in runAnalysis()