Lines Matching refs:LockableFactEntry
813 class LockableFactEntry : public FactEntry { class
818 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon4f66b6dc0811::LockableFactEntry
838 FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in handleUnlock()
879 auto UnderEntry = llvm::make_unique<LockableFactEntry>( in handleUnlock()
1444 addLock(Result, llvm::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1448 addLock(Result, llvm::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1729 llvm::make_unique<LockableFactEntry>( in handleCall()
1740 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
1792 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
1796 Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>( in handleCall()
2184 auto Entry = llvm::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc); in runAnalysis()
2189 auto Entry = llvm::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc); in runAnalysis()
2361 ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in runAnalysis()
2364 ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in runAnalysis()