Searched refs:FactEntry (Results 1 – 1 of 1) sorted by relevance
788 struct FactEntry { struct792 FactEntry(const SExpr& M, const LockData& L) in FactEntry() argument804 std::vector<FactEntry> Facts;808 Facts.push_back(FactEntry(M,L)); in newLock()812 const FactEntry& operator[](FactID F) const { return Facts[F]; } in operator []()813 FactEntry& operator[](FactID F) { return Facts[F]; } in operator []()885 FactEntry* findPartialMatch(FactManager &FM, const SExpr &M) const { in findPartialMatch()1806 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()