Don't emit 'dead initialization' warnings for variables marked 'unused'.

This fixes PR 2573: http://llvm.org/bugs/show_bug.cgi?id=2573

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@54009 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Analysis/CheckDeadStores.cpp b/lib/Analysis/CheckDeadStores.cpp
index 4ab6680a78d29afc2bce4c4b854c42dd6e3ee9e5..4acacdf0ce9600c0f98489230bc1720cdc34bf89 100644 (file)
--- a/lib/Analysis/CheckDeadStores.cpp
+++ b/lib/Analysis/CheckDeadStores.cpp
@@ -164,11 +164,16 @@ public:
       for (ScopedDecl* SD = DS->getDecl(); SD; SD = SD->getNextDeclarator()) {
         
         VarDecl* V = dyn_cast<VarDecl>(SD);
-        if (!V) continue;
+
+        if (!V)
+          continue;
         
         if (V->hasLocalStorage())
-          if (Expr* E = V->getInit())
-            if (!Live(V, AD)) {
+          if (Expr* E = V->getInit()) {
+            // A dead initialization is a variable that is dead after it
+            // is initialized.  We don't flag warnings for those variables
+            // marked 'unused'.
+            if (!Live(V, AD) && V->getAttr<UnusedAttr>() == 0) {
               // Special case: check for initializations with constants.
               //
               //  e.g. : int x = 0;
@@ -179,6 +184,7 @@ public:
               if (!E->isConstantExpr(Ctx,NULL))
                 Report(V, DeadInit, V->getLocation(), E->getSourceRange());
             }
+          }
       }
   }
 };

diff --git a/test/Analysis/dead-stores.c b/test/Analysis/dead-stores.c
index dce058c02e4bc65c74f8ede25ddb669dd04f050f..0ca289231b9c042ce1e189e7d322ff092730f59f 100644 (file)
--- a/test/Analysis/dead-stores.c
+++ b/test/Analysis/dead-stores.c
@@ -77,5 +77,12 @@ int f11() {
   return ++x; // expected-warning{{never read}}
 }
 
-
+int f12a(int y) {
+  int x = y;  // expected-warning{{never read}}
+  return 1;
+}
+int f12b(int y) {
+  int x __attribute__((unused)) = y;  // no-warning
+  return 1;
+}