Lines Matching refs:ValueDecl
243 bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const {
245 return FM[ID].valueDecl() == Vd;
258 typedef SmallVector<const ValueDecl*, 4> BeforeVect;
268 typedef llvm::DenseMap<const ValueDecl *, std::unique_ptr<BeforeInfo>>
270 typedef llvm::DenseMap<const ValueDecl*, bool> CycleMap;
275 BeforeInfo* insertAttrExprs(const ValueDecl* Vd,
278 BeforeInfo *getBeforeInfoForDecl(const ValueDecl *Vd,
281 void checkBeforeAfter(const ValueDecl* Vd,
592 ValueDecl *VDec = DRE->getDecl();
967 BeforeSet::BeforeInfo* BeforeSet::insertAttrExprs(const ValueDecl* Vd,
989 if (const ValueDecl *Cpvd = Cp.valueDecl()) {
1005 if (const ValueDecl *ArgVd = Cp.valueDecl()) {
1022 BeforeSet::getBeforeInfoForDecl(const ValueDecl *Vd,
1035 void BeforeSet::checkBeforeAfter(const ValueDecl* StartVd,
1043 std::function<bool (const ValueDecl*)> traverse = [&](const ValueDecl* Vd) {
1089 static const ValueDecl *getValueDecl(const Expr *Exp) {
1141 static StringRef ClassifyDiagnostic(const ValueDecl *VD) {
1142 assert(VD && "No ValueDecl passed");
1144 // The ValueDecl is the declaration of a mutex or role (hopefully).
1152 if (const ValueDecl *VD = getValueDecl(A->getArg()))
1162 if (const ValueDecl *VD = getValueDecl(Arg))
1206 GlobalBeforeSet->checkBeforeAfter(Entry->valueDecl(), FSet, *this,
1624 const ValueDecl *D = getValueDecl(Exp);
1664 const ValueDecl *D = getValueDecl(Exp);
