Searched defs:FactManager (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/Analysis/
H A DThreadSafety.cpp785 /// \brief FactManager manages the memory for all facts that are created during
787 class FactManager { class in namespace:__anon17783
805 /// table maintained by a FactManager. A typical FactSet only holds 1 or 2
827 FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) {
833 bool removeLock(FactManager& FM, const SExpr& M) {
852 iterator findLockIter(FactManager &FM, const SExpr &M) {
858 LockData *findLock(FactManager &FM, const SExpr &M) const {
866 LockData *findLockUniv(FactManager &FM, const SExpr &M) const {
875 FactEntry *findPartialMatch(FactManager &FM, const SExpr &M) const {
1413 FactManager FactMa
[all...]

Completed in 92 milliseconds