Lines Matching refs:LockableFactEntry
856 class LockableFactEntry : public FactEntry { class
858 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anoneb5110e70a11::LockableFactEntry
884 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in handleUnlock()
982 std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed)); in lock()
990 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in unlock()
1527 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd, in getEdgeLockset()
1530 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd, in getEdgeLockset()
1845 FSet, std::make_unique<LockableFactEntry>( in handleCall()
1856 FSet, std::make_unique<LockableFactEntry>( in handleCall()
1866 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1930 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1934 FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source)); in handleCall()
2365 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc, in runAnalysis()
2370 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc, in runAnalysis()
2386 FactMan, std::make_unique<LockableFactEntry>(Lock, LK_Exclusive, in runAnalysis()
2391 std::make_unique<LockableFactEntry>(Lock, LK_Shared, D->getLocation())); in runAnalysis()