866 class LockableFactEntry : public FactEntry {  class
874   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()  function in __anon06d2d5b10a11::LockableFactEntry
911       FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(  in handleUnlock()
918   std::unique_ptr<LockableFactEntry> tryReenter(LockKind ReenterKind) const {  in tryReenter()
923     auto NewFact = std::make_unique<LockableFactEntry>(*this);  in tryReenter()
930   std::unique_ptr<LockableFactEntry> leaveReentrant() const {  in leaveReentrant()
934     auto NewFact = std::make_unique<LockableFactEntry>(*this);  in leaveReentrant()
1045       const auto &Fact = cast<LockableFactEntry>(FactMan[*It]);  in lock()
1055                    std::make_unique<LockableFactEntry>(Cp, kind, loc, Managed));  in lock()
1062       const auto &Fact = cast<LockableFactEntry>(FactMan[*It]);  in unlock()
1071           std::make_unique<LockableFactEntry>(!Cp, LK_Exclusive, loc));  in unlock()
1566     addLock(Result, std::make_unique<LockableFactEntry>(ExclusiveLockToAdd,  in getEdgeLockset()
1569     addLock(Result, std::make_unique<LockableFactEntry>(SharedLockToAdd,  in getEdgeLockset()
1906           Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(  in handleCall()
2066     Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive,  in handleCall()
2070         FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source));  in handleCall()
2327   if (const auto *LFE = dyn_cast<LockableFactEntry>(&A))  in join()
2329   if (const auto *LFE = dyn_cast<LockableFactEntry>(&B))  in join()
2559       auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Exclusive, Loc,  in runAnalysis()
2564       auto Entry = std::make_unique<LockableFactEntry>(Mu, LK_Shared, Loc,  in runAnalysis()
2580         FactMan, std::make_unique<LockableFactEntry>(Lock, LK_Exclusive,  in runAnalysis()
2585         std::make_unique<LockableFactEntry>(Lock, LK_Shared, D->getLocation()));  in runAnalysis()