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,
1078 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,  in insertAttrExprs()  argument
1085     std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];  in insertAttrExprs()
1091   for (const auto *At : Vd->attrs()) {  in insertAttrExprs()
1119             ArgInfo->Vect.push_back(Vd);  in insertAttrExprs()
1133 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,  in getBeforeInfoForDecl()  argument
1135   auto It = BMap.find(Vd);  in getBeforeInfoForDecl()
1138     Info = insertAttrExprs(Vd, Analyzer);  in getBeforeInfoForDecl()
1154   std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {  in checkBeforeAfter()  argument
1155     if (!Vd)  in checkBeforeAfter()
1158     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);  in checkBeforeAfter()
1180         if (!CycMap.contains(Vd)) {  in checkBeforeAfter()
1181           CycMap.insert(std::make_pair(Vd, true));  in checkBeforeAfter()
1182           StringRef L1 = Vd->getName();  in checkBeforeAfter()
1183           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());  in checkBeforeAfter()