A non-explicit constructor template with a second parameter that is a
parameter pack is a converting constructor. Fixes PR13003.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@158040 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/AST/DeclCXX.cpp b/lib/AST/DeclCXX.cpp
index 0c78abb..571ad4b 100644
--- a/lib/AST/DeclCXX.cpp
+++ b/lib/AST/DeclCXX.cpp
@@ -1695,7 +1695,9 @@
return (getNumParams() == 0 &&
getType()->getAs<FunctionProtoType>()->isVariadic()) ||
(getNumParams() == 1) ||
- (getNumParams() > 1 && getParamDecl(1)->hasDefaultArg());
+ (getNumParams() > 1 &&
+ (getParamDecl(1)->hasDefaultArg() ||
+ getParamDecl(1)->isParameterPack()));
}
bool CXXConstructorDecl::isSpecializationCopyingObject() const {
diff --git a/test/CXX/special/class.conv/class.conv.ctor/p1.cpp b/test/CXX/special/class.conv/class.conv.ctor/p1.cpp
new file mode 100644
index 0000000..d2add82
--- /dev/null
+++ b/test/CXX/special/class.conv/class.conv.ctor/p1.cpp
@@ -0,0 +1,21 @@
+// RUN: %clang_cc1 -std=c++11 %s -verify
+
+namespace PR13003 {
+ struct void_type
+ {
+ template <typename Arg0, typename... Args>
+ void_type(Arg0&&, Args&&...) { }
+ };
+
+ struct void_type2
+ {
+ template <typename... Args>
+ void_type2(Args&&...) { }
+ };
+
+ struct atom { };
+
+ void_type v1 = atom();
+ void_type2 v2 = atom();
+}
+
