Lines Matching defs:Vd

267   bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {
269       return FM[ID].valueDecl() == Vd;
301   BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
304   BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
307   void checkBeforeAfter(const ValueDecl* Vd,
1101 /// Process acquired_before and acquired_after attributes on Vd.
1102 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,
1104   // Create a new entry for Vd.
1109     std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];
1115   for (const auto *At : Vd->attrs()) {
1143             ArgInfo->Vect.push_back(Vd);
1157 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,
1159   auto It = BMap.find(Vd);
1162     Info = insertAttrExprs(Vd, Analyzer);
1169 /// Return true if any mutexes in FSet are in the acquired_before set of Vd.
1176   // Do a depth-first traversal of Vd.
1178   std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {
1179     if (!Vd)
1182     BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);
1204         if (CycMap.try_emplace(Vd, true).second) {
1205           StringRef L1 = Vd->getName();
1206           Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());