Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
108 class FactEntry : public CapabilityExpr { class127 virtual ~FactEntry() = default;163 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()245 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()253 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()854 class LockableFactEntry : public FactEntry {892 class ScopedLockableFactEntry : public FactEntry {907 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()2195 const FactEntry *LDat1 = nullptr; in intersectAndWarn()2196 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()[all …]