Searched refs:FactEntry (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/Analysis/
H A DThreadSafety.cpp787 /// \brief A FactEntry stores a single fact that is known at a particular point
790 struct FactEntry { struct in namespace:__anon15161
794 FactEntry(const SExpr& M, const LockData& L) function in struct:__anon15161::FactEntry
806 std::vector<FactEntry> Facts;
810 Facts.push_back(FactEntry(M,L));
814 const FactEntry& operator[](FactID F) const { return Facts[F]; }
815 FactEntry& operator[](FactID F) { return Facts[F]; }
897 FactEntry* findPartialMatch(FactManager &FM, const SExpr &M) const {
1819 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);

Completed in 32 milliseconds