Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
104 class FactEntry : public CapabilityExpr { class128 virtual ~FactEntry() = default;142 const FactEntry &entry,246 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()857 class LockableFactEntry : public FactEntry {861 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()1047 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);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()[all …]