Lines Matching refs:Vd
243 bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {
245 return FM[ID].valueDecl() == Vd;
275 BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
278 BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
281 void checkBeforeAfter(const ValueDecl* Vd,
966 /// Process acquired_before and acquired_after attributes on Vd.
967 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,
969 // Create a new entry for Vd.
974 std::unique_ptr<BeforeInfo> &InfoPtr = BMap[Vd];
980 for (Attr* At : Vd->attrs()) {
1008 ArgInfo->Vect.push_back(Vd);
1022 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,
1024 auto It = BMap.find(Vd);
1027 Info = insertAttrExprs(Vd, Analyzer);
1034 /// Return true if any mutexes in FSet are in the acquired_before set of Vd.
1041 // Do a depth-first traversal of Vd.
1043 std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {
1044 if (!Vd)
1047 BeforeSet::BeforeInfo *Info = getBeforeInfoForDecl(Vd, Analyzer);
1069 if (CycMap.find(Vd) == CycMap.end()) {
1070 CycMap.insert(std::make_pair(Vd, true));
1071 StringRef L1 = Vd->getName();
1072 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation());