243   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()
245       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()
275   BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
278   BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
281   void checkBeforeAfter(const ValueDecl* Vd,
967 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,  in insertAttrExprs()  argument
974     std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];  in insertAttrExprs()
980   for (Attr* At : Vd->attrs()) {  in insertAttrExprs()
1008             ArgInfo->Vect.push_back(Vd);  in insertAttrExprs()
1022 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,  in getBeforeInfoForDecl()  argument
1024   auto It = BMap.find(Vd);  in getBeforeInfoForDecl()
1027     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1043   std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {  in checkBeforeAfter()  argument
1044     if (!Vd)  in checkBeforeAfter()
1047     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1069         if (CycMap.find(Vd) == CycMap.end()) {  in checkBeforeAfter()
1070           CycMap.insert(std::make_pair(Vd, true));  in checkBeforeAfter()
1071           StringRef L1 = Vd->getName();  in checkBeforeAfter()
1072           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()