mirror of
https://github.com/llvm/llvm-project.git
synced 2025-05-03 10:06:07 +00:00
d2598e97a4
As described by Richard in https://groups.google.com/a/isocpp.org/d/msg/std-discussion/S1kmj0wF5-g/fb6agEYoL2IJ we should allow: template<typename S> struct A { template<typename T> static auto default_lambda() { return [](const T&) { return 42; }; } template<class U = decltype(default_lambda<S>())> U func(U u = default_lambda<S>()) { return u; } }; int run2 = A<double>{}.func()(3.14); int run3 = A<char>{}.func()('a'); This patch allows the code using the same trickery that was used to allow the code in non-member functions at namespace scope. Please see http://llvm-reviews.chandlerc.com/D1844 for richard's approval. llvm-svn: 192166
78 lines
2.3 KiB
C++
78 lines
2.3 KiB
C++
// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++1y | FileCheck %s
|
|
|
|
// CHECK-LABEL: define void @_ZN19non_inline_function3fooEv
|
|
// CHECK-LABEL: define internal void @"_ZZN19non_inline_function3fooEvENK3$_0clEi"(%class.anon
|
|
// CHECK-LABEL: define internal signext i8 @"_ZZZN19non_inline_function3fooEvENK3$_0clEiENKUlcE_clEc"(%class.anon
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN19non_inline_function4foo2IiEEDav()
|
|
namespace non_inline_function {
|
|
auto foo() {
|
|
auto L = [](int a) {
|
|
return [](char b) {
|
|
return b;
|
|
};
|
|
};
|
|
L(3)('a');
|
|
return L;
|
|
}
|
|
|
|
template<typename T>
|
|
auto foo2() {
|
|
return [](const T&) { return 42; };
|
|
}
|
|
|
|
auto use = foo2<int>();
|
|
|
|
}
|
|
//CHECK-LABEL: define linkonce_odr void @_ZN22inline_member_function1X3fooEv(%"struct.inline_member_function::X"* %this)
|
|
//CHECK-LABEL: define linkonce_odr void @_ZZN22inline_member_function1X3fooEvENKUliE_clEi(%class.anon
|
|
//CHECK-LABEL: define linkonce_odr signext i8 @_ZZZN22inline_member_function1X3fooEvENKUliE_clEiENKUlcE_clEc(%class.anon
|
|
|
|
namespace inline_member_function {
|
|
struct X {
|
|
auto foo() {
|
|
auto L = [](int a) {
|
|
return [](char b) {
|
|
return b;
|
|
};
|
|
};
|
|
return L;
|
|
}
|
|
};
|
|
|
|
auto run1 = X{}.foo()(3)('a');
|
|
|
|
template<typename S>
|
|
struct A {
|
|
template<typename T> static auto default_lambda() {
|
|
return [](const T&) { return 42; };
|
|
}
|
|
|
|
template<class U = decltype(default_lambda<S>())>
|
|
U func(U u = default_lambda<S>()) { return u; }
|
|
|
|
template<class T> auto foo() { return [](const T&) { return 42; }; }
|
|
};
|
|
//CHECK-LABEL: define linkonce_odr i32 @_ZZN22inline_member_function1AIdE14default_lambdaIdEEDavENKUlRKdE_clES5_(%class.anon
|
|
int run2 = A<double>{}.func()(3.14);
|
|
|
|
//CHECK-LABEL: define linkonce_odr i32 @_ZZN22inline_member_function1AIcE14default_lambdaIcEEDavENKUlRKcE_clES5_(%class.anon
|
|
int run3 = A<char>{}.func()('a');
|
|
} // end inline_member_function
|
|
|
|
|
|
// CHECK-LABEL: define linkonce_odr void @_ZN15inline_function3fooEv()
|
|
// CHECK: define linkonce_odr void @_ZZN15inline_function3fooEvENKUliE_clEi(%class.anon
|
|
// CHECK: define linkonce_odr signext i8 @_ZZZN15inline_function3fooEvENKUliE_clEiENKUlcE_clEc(%class.anon
|
|
namespace inline_function {
|
|
inline auto foo() {
|
|
auto L = [](int a) {
|
|
return [](char b) {
|
|
return b;
|
|
};
|
|
};
|
|
return L;
|
|
}
|
|
auto use = foo()(3)('a');
|
|
}
|
|
|