]> granicus.if.org Git - clang/commitdiff
report unused-value warning also for warn_unused types
authorLubos Lunak <l.lunak@suse.cz>
Sun, 21 Jul 2013 13:15:58 +0000 (13:15 +0000)
committerLubos Lunak <l.lunak@suse.cz>
Sun, 21 Jul 2013 13:15:58 +0000 (13:15 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@186793 91177308-0d34-0410-b5e6-96231b3b80d8

lib/AST/Expr.cpp
test/SemaCXX/warn-unused-value.cpp

index 8473c096afeeadccf641f09e3640aa9201b23634..5c1a27da3658bde802e60aba9551baa4fbe38aaa 100644 (file)
@@ -2075,8 +2075,17 @@ bool Expr::isUnusedResultAWarning(const Expr *&WarnE, SourceLocation &Loc,
     return false;
 
   case CXXTemporaryObjectExprClass:
-  case CXXConstructExprClass:
+  case CXXConstructExprClass: {
+    if (const CXXRecordDecl *Type = getType()->getAsCXXRecordDecl()) {
+      if (Type->hasAttr<WarnUnusedAttr>()) {
+        WarnE = this;
+        Loc = getLocStart();
+        R1 = getSourceRange();
+        return true;
+      }
+    }
     return false;
+  }
 
   case ObjCMessageExprClass: {
     const ObjCMessageExpr *ME = cast<ObjCMessageExpr>(this);
index 072ee60f1f35e07caf43435bbb24c82b281d5828..5e43d3ec04222351c61553bf8e8325d204a2d0e4 100644 (file)
@@ -49,3 +49,23 @@ namespace test2 {
   }
 }
 
+namespace test3 {
+struct Used {
+  Used();
+  Used(int);
+  Used(int, int);
+};
+struct __attribute__((warn_unused)) Unused {
+  Unused();
+  Unused(int);
+  Unused(int, int);
+};
+void f() {
+  Used();
+  Used(1);
+  Used(1, 1);
+  Unused();     // expected-warning {{expression result unused}}
+  Unused(1);    // expected-warning {{expression result unused}}
+  Unused(1, 1); // expected-warning {{expression result unused}}
+}
+}