262   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()
264       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()
296   BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
299   BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
302   void checkBeforeAfter(const ValueDecl* Vd,
1064 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,  in insertAttrExprs()  argument
1071     std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];  in insertAttrExprs()
1077   for (const auto *At : Vd->attrs()) {  in insertAttrExprs()
1105             ArgInfo->Vect.push_back(Vd);  in insertAttrExprs()
1119 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,  in getBeforeInfoForDecl()  argument
1121   auto It = BMap.find(Vd);  in getBeforeInfoForDecl()
1124     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1140   std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {  in checkBeforeAfter()  argument
1141     if (!Vd)  in checkBeforeAfter()
1144     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1166         if (CycMap.find(Vd) == CycMap.end()) {  in checkBeforeAfter()
1167           CycMap.insert(std::make_pair(Vd, true));  in checkBeforeAfter()
1168           StringRef L1 = Vd->getName();  in checkBeforeAfter()
1169           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()