Lines Matching refs:LockableFactEntry
858 class LockableFactEntry : public FactEntry { class
860 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon3cf8d6650a11::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()
1571 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1575 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1860 std::make_unique<LockableFactEntry>(AssertLock, LK_Exclusive, Loc, in handleCall()
1873 std::make_unique<LockableFactEntry>(AssertLock, LK_Shared, Loc, in handleCall()
1885 std::make_unique<LockableFactEntry>( in handleCall()
1953 FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, Loc, Source), in handleCall()
1957 FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source), in handleCall()
2386 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc, in runAnalysis()
2391 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc, in runAnalysis()
2556 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2559 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()