diff options
author | Serge Pavlov <sepavloff@gmail.com> | 2015-08-23 10:22:28 +0000 |
---|---|---|
committer | Serge Pavlov <sepavloff@gmail.com> | 2015-08-23 10:22:28 +0000 |
commit | 73c6a2448f24d13e16f34d46095ef7ad4bd1f145 (patch) | |
tree | fc6716a8bd34d19bb692312d00e1288344ff8f4b /clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp | |
parent | 1ac884d73afdc0c52c82e753cc45ae4887e753f7 (diff) | |
download | bcm5719-llvm-73c6a2448f24d13e16f34d46095ef7ad4bd1f145.tar.gz bcm5719-llvm-73c6a2448f24d13e16f34d46095ef7ad4bd1f145.zip |
Instantiate function declarations in instantiated functions.
If a function declaration is found inside a template function as in:
template<class T> void f() {
void g(int x = T::v) except(T::w);
}
it must be instantiated along with the enclosing template function,
including default arguments and exception specification.
Together with the patch committed in r240974 this implements DR1484.
Differential Revision: http://reviews.llvm.org/D11194
llvm-svn: 245810
Diffstat (limited to 'clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp')
-rw-r--r-- | clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp b/clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp index 38d5d0a6cd6..9b0a9ad8c25 100644 --- a/clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp +++ b/clang/test/CXX/expr/expr.prim/expr.prim.lambda/default-arguments.cpp @@ -26,23 +26,26 @@ struct NonPOD { }; struct NoDefaultCtor { - NoDefaultCtor(const NoDefaultCtor&); // expected-note{{candidate constructor}} + NoDefaultCtor(const NoDefaultCtor&); // expected-note{{candidate constructor}} \ + // expected-note{{candidate constructor not viable: requires 1 argument, but 0 were provided}} ~NoDefaultCtor(); }; template<typename T> void defargs_in_template_unused(T t) { - auto l1 = [](const T& value = T()) { }; + auto l1 = [](const T& value = T()) { }; // expected-error{{no matching constructor for initialization of 'NoDefaultCtor'}} l1(t); } template void defargs_in_template_unused(NonPOD); -template void defargs_in_template_unused(NoDefaultCtor); +template void defargs_in_template_unused(NoDefaultCtor); // expected-note{{in instantiation of function template specialization 'defargs_in_template_unused<NoDefaultCtor>' requested here}} template<typename T> void defargs_in_template_used() { - auto l1 = [](const T& value = T()) { }; // expected-error{{no matching constructor for initialization of 'NoDefaultCtor'}} - l1(); // expected-note{{in instantiation of default function argument expression for 'operator()<NoDefaultCtor>' required here}} + auto l1 = [](const T& value = T()) { }; // expected-error{{no matching constructor for initialization of 'NoDefaultCtor'}} \ + // expected-note{{candidate function not viable: requires single argument 'value', but no arguments were provided}} \ + // expected-note{{conversion candidate of type 'void (*)(const NoDefaultCtor &)'}} + l1(); // expected-error{{no matching function for call to object of type '(lambda at }} } template void defargs_in_template_used<NonPOD>(); |