261   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()
263       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()
295   BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
298   BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
301   void checkBeforeAfter(const ValueDecl* Vd,
1070 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,  in insertAttrExprs()  argument
1077     std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];  in insertAttrExprs()
1083   for (const auto *At : Vd->attrs()) {  in insertAttrExprs()
1111             ArgInfo->Vect.push_back(Vd);  in insertAttrExprs()
1125 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,  in getBeforeInfoForDecl()  argument
1127   auto It = BMap.find(Vd);  in getBeforeInfoForDecl()
1130     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1146   std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {  in checkBeforeAfter()  argument
1147     if (!Vd)  in checkBeforeAfter()
1150     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1172         if (CycMap.find(Vd) == CycMap.end()) {  in checkBeforeAfter()
1173           CycMap.insert(std::make_pair(Vd, true));  in checkBeforeAfter()
1174           StringRef L1 = Vd->getName();  in checkBeforeAfter()
1175           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()