Lines Matching refs:LockableFactEntry
858 class LockableFactEntry : public FactEntry { class
860 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon68dfda3c0a11::LockableFactEntry
886 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
987 std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed)); in lock()
996 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in unlock()
1569 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1573 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1858 std::make_unique<LockableFactEntry>(AssertLock, LK_Exclusive, Loc, in handleCall()
1871 std::make_unique<LockableFactEntry>(AssertLock, LK_Shared, Loc, in handleCall()
1883 std::make_unique<LockableFactEntry>( in handleCall()
1951 FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, Loc, Source), in handleCall()
1955 FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source), in handleCall()
2369 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc, in runAnalysis()
2374 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc, in runAnalysis()
2539 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2542 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()