diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp index 6a6343b5f169b..680036b6a5b39 100644 --- a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp +++ b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp @@ -156,7 +156,6 @@ static Value &widenDistinctValues(QualType Type, Value &Prev, /// Initializes a global storage value. static void insertIfGlobal(const Decl &D, - llvm::DenseSet &Fields, llvm::DenseSet &Vars) { if (auto *V = dyn_cast(&D)) if (V->hasGlobalStorage()) @@ -166,7 +165,7 @@ static void insertIfGlobal(const Decl &D, static void getFieldsAndGlobalVars(const Decl &D, llvm::DenseSet &Fields, llvm::DenseSet &Vars) { - insertIfGlobal(D, Fields, Vars); + insertIfGlobal(D, Vars); if (const auto *Decomp = dyn_cast(&D)) for (const auto *B : Decomp->bindings()) if (auto *ME = dyn_cast_or_null(B->getBinding())) @@ -191,11 +190,11 @@ static void getFieldsAndGlobalVars(const Stmt &S, for (auto *D : DS->getDeclGroup()) getFieldsAndGlobalVars(*D, Fields, Vars); } else if (auto *E = dyn_cast(&S)) { - insertIfGlobal(*E->getDecl(), Fields, Vars); + insertIfGlobal(*E->getDecl(), Vars); } else if (auto *E = dyn_cast(&S)) { // FIXME: should we be using `E->getFoundDecl()`? const ValueDecl *VD = E->getMemberDecl(); - insertIfGlobal(*VD, Fields, Vars); + insertIfGlobal(*VD, Vars); if (const auto *FD = dyn_cast(VD)) Fields.insert(FD); }