diff options
-rw-r--r-- | lib/AST/Expr.cpp | 5 | ||||
-rw-r--r-- | test/SemaCXX/unused.cpp | 15 |
2 files changed, 20 insertions, 0 deletions
diff --git a/lib/AST/Expr.cpp b/lib/AST/Expr.cpp index 694325af22..3c8cbb56a0 100644 --- a/lib/AST/Expr.cpp +++ b/lib/AST/Expr.cpp @@ -1950,6 +1950,11 @@ bool Expr::isUnusedResultAWarning(const Expr *&WarnE, SourceLocation &Loc, return false; } + // If we don't know precisely what we're looking at, let's not warn. + case UnresolvedLookupExprClass: + case CXXUnresolvedConstructExprClass: + return false; + case CXXTemporaryObjectExprClass: case CXXConstructExprClass: return false; diff --git a/test/SemaCXX/unused.cpp b/test/SemaCXX/unused.cpp index b9877a1ba4..fbaf8c8bf3 100644 --- a/test/SemaCXX/unused.cpp +++ b/test/SemaCXX/unused.cpp @@ -46,3 +46,18 @@ namespace AnonObject { int(1); // expected-warning {{expression result unused}} } } + +// Test that constructing an object (which may have side effects) with +// constructor arguments which are dependent doesn't produce an unused value +// warning. +namespace UnresolvedLookup { + struct Foo { + Foo(int i, int j); + }; + template <typename T> + struct Bar { + void f(T t) { + Foo(t, 0); // no warning + } + }; +} |