265   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {  in containsMutexDecl()
267       return FM[ID].valueDecl() == Vd;  in containsMutexDecl()
299   BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
302   BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
305   void checkBeforeAfter(const ValueDecl* Vd,
1068 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,  in insertAttrExprs()  argument
1075     std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];  in insertAttrExprs()
1081   for (const auto *At : Vd->attrs()) {  in insertAttrExprs()
1109             ArgInfo->Vect.push_back(Vd);  in insertAttrExprs()
1123 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,  in getBeforeInfoForDecl()  argument
1125   auto It = BMap.find(Vd);  in getBeforeInfoForDecl()
1128     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1144   std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {  in checkBeforeAfter()  argument
1145     if (!Vd)  in checkBeforeAfter()
1148     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1170         if (CycMap.find(Vd) == CycMap.end()) {  in checkBeforeAfter()
1171           CycMap.insert(std::make_pair(Vd, true));  in checkBeforeAfter()
1172           StringRef L1 = Vd->getName();  in checkBeforeAfter()
1173           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()