Lines Matching refs:LockableFactEntry
857 class LockableFactEntry : public FactEntry { class
859 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon6254f0e10a11::LockableFactEntry
885 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
983 std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed)); in lock()
991 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in unlock()
1513 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1516 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1803 FSet, std::make_unique<LockableFactEntry>( in handleCall()
1814 FSet, std::make_unique<LockableFactEntry>( in handleCall()
1824 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1887 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1891 FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source)); in handleCall()
2327 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc, in runAnalysis()
2332 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc, in runAnalysis()
2461 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2464 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()