Lines Matching defs:LockableFactEntry
861 class LockableFactEntry : public FactEntry {
863 LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,
889 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(
1006 std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed));
1014 FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(
1550 addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd,
1553 addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd,
1868 FSet, std::make_unique<LockableFactEntry>(
1879 FSet, std::make_unique<LockableFactEntry>(
1889 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(
2048 Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive,
2052 FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source));
2523 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc,
2528 auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc,
2544 FactMan, std::make_unique<LockableFactEntry>(Lock, LK_Exclusive,
2549 std::make_unique<LockableFactEntry>(Lock, LK_Shared, D->getLocation()));