104 class FactEntry : public CapabilityExpr {  class
125   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()  function in __anon6254f0e10111::FactEntry
128   virtual ~FactEntry() = default;
142                           const FactEntry &entry,
161   std::vector<std::unique_ptr<const FactEntry>> Facts;
164   FactID newFact(std::unique_ptr<FactEntry> Entry) {  in newFact()
169   const FactEntry &operator[](FactID F) const { return *Facts[F]; }  in operator []()
208   FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) {  in addLock()
239   const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
246   const FactEntry *findLockUniv(FactManager &FM,  in findLockUniv()
254   const FactEntry *findPartialMatch(FactManager &FM,  in findPartialMatch()
857 class LockableFactEntry : public FactEntry {
861       : FactEntry(CE, LK, Loc, Src) {}  in LockableFactEntry()
873   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
891 class ScopedLockableFactEntry : public FactEntry {
908       : FactEntry(CE, LK_Exclusive, Loc, Acquired) {}  in ScopedLockableFactEntry()
939   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()
976     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
995       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
1025   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1047   bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1246                                    std::unique_ptr<FactEntry> Entry,  in addLock()
1254     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1273   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()
1289   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1292     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1585     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1605   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1641   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1804                         AssertLock, LK_Exclusive, Loc, FactEntry::Asserted));  in handleCall()
1815                         AssertLock, LK_Shared, Loc, FactEntry::Asserted));  in handleCall()
1827                                       Loc, FactEntry::Asserted));  in handleCall()
1884   FactEntry::SourceKind Source =  in handleCall()
1885       isScopedVar ? FactEntry::Managed : FactEntry::Acquired;  in handleCall()
2140 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B,  in join()
2184     const FactEntry &ExitFact = FactMan[Fact];  in intersectAndWarn()
2199     const FactEntry *EntryFact = &FactMan[Fact];  in intersectAndWarn()
2200     const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact);  in intersectAndWarn()
2328                                                        FactEntry::Declared);  in runAnalysis()
2333                                                        FactEntry::Declared);  in runAnalysis()