Lines Matching refs:LockableFactEntry
857 class LockableFactEntry : public FactEntry { class
859 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in LockableFactEntry() function in __anon721e4a080a11::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()
1828 FSet, std::make_unique<LockableFactEntry>( in handleCall()
1839 FSet, std::make_unique<LockableFactEntry>( in handleCall()
1849 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>( in handleCall()
1912 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, in handleCall()
1916 FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source)); in handleCall()
2326 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc, in runAnalysis()
2331 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc, in runAnalysis()
2474 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()
2477 ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>( in runAnalysis()