Cross Reference: /external/clang/lib/Analysis/ThreadSafety.cpp

Lines Matching refs:FM

844   FactID addLock(FactManager& FM, const SExpr& M, const LockData& L) {
845     FactID F = FM.newLock(M, L);
850   bool removeLock(FactManager& FM, const SExpr& M) {
856       if (FM[FactIDs[i]].MutID.matches(M)) {
862     if (FM[FactIDs[n-1]].MutID.matches(M)) {
870   iterator findLockIter(FactManager &FM, const SExpr &M) {
872       const SExpr &Exp = FM[*I].MutID;
879   LockData* findLock(FactManager &FM, const SExpr &M) const {
881       const SExpr &Exp = FM[*I].MutID;
883         return &FM[*I].LDat;
888   LockData* findLockUniv(FactManager &FM, const SExpr &M) const {
890       const SExpr &Exp = FM[*I].MutID;
892         return &FM[*I].LDat;
897   FactEntry* findPartialMatch(FactManager &FM, const SExpr &M) const {
899       const SExpr& Exp = FM[*I].MutID;
900       if (Exp.partiallyMatches(M)) return &FM[*I];

OpenGrok