Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
107 class FactEntry : public CapabilityExpr { class131 virtual ~FactEntry() = default;167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()858 class LockableFactEntry : public FactEntry {862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()1053 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);1949 FactEntry::SourceKind Source = in handleCall()1950 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()2196 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()[all …]