diff options
Diffstat (limited to 'test/SemaCXX/cxx1y-init-captures.cpp')
| -rw-r--r-- | test/SemaCXX/cxx1y-init-captures.cpp | 169 |
1 files changed, 169 insertions, 0 deletions
diff --git a/test/SemaCXX/cxx1y-init-captures.cpp b/test/SemaCXX/cxx1y-init-captures.cpp new file mode 100644 index 0000000..2cb4d31 --- /dev/null +++ b/test/SemaCXX/cxx1y-init-captures.cpp @@ -0,0 +1,169 @@ +// RUN: %clang_cc1 -std=c++1y %s -verify -emit-llvm-only + +namespace variadic_expansion { + int f(int &, char &) { return 0; } + template<class ... Ts> char fv(Ts ... ts) { return 0; } + // FIXME: why do we get 2 error messages + template <typename ... T> void g(T &... t) { //expected-note3{{declared here}} + f([&a(t)]()->decltype(auto) { + return a; + }() ...); + + auto L = [x = f([&a(t)]()->decltype(auto) { return a; }()...)]() { return x; }; + const int y = 10; + auto M = [x = y, + &z = y](T& ... t) { }; + auto N = [x = y, + &z = y, n = f(t...), + o = f([&a(t)](T& ... t)->decltype(auto) { return a; }(t...)...), t...](T& ... s) { + fv([&a(t)]()->decltype(auto) { + return a; + }() ...); + }; + auto N2 = [x = y, //expected-note3{{begins here}} + &z = y, n = f(t...), + o = f([&a(t)](T& ... t)->decltype(auto) { return a; }(t...)...)](T& ... s) { + fv([&a(t)]()->decltype(auto) { //expected-error 3{{captured}} + return a; + }() ...); + }; + + } + + void h(int i, char c) { g(i, c); } //expected-note{{in instantiation}} +} + +namespace odr_use_within_init_capture { + +int test() { + + { // no captures + const int x = 10; + auto L = [z = x + 2](int a) { + auto M = [y = x - 2](char b) { + return y; + }; + return M; + }; + + } + { // should not capture + const int x = 10; + auto L = [&z = x](int a) { + return a;; + }; + + } + { + const int x = 10; + auto L = [k = x](char a) { //expected-note {{declared}} + return [](int b) { //expected-note {{begins}} + return [j = k](int c) { //expected-error {{cannot be implicitly captured}} + return c; + }; + }; + }; + } + { + const int x = 10; + auto L = [k = x](char a) { + return [=](int b) { + return [j = k](int c) { + return c; + }; + }; + }; + } + { + const int x = 10; + auto L = [k = x](char a) { + return [k](int b) { + return [j = k](int c) { + return c; + }; + }; + }; + } + + return 0; +} + +int run = test(); + +} + +namespace odr_use_within_init_capture_template { + +template<class T = int> +int test(T t = T{}) { + + { // no captures + const T x = 10; + auto L = [z = x](char a) { + auto M = [y = x](T b) { + return y; + }; + return M; + }; + + } + { // should not capture + const T x = 10; + auto L = [&z = x](T a) { + return a;; + }; + + } + { // will need to capture x in outer lambda + const T x = 10; //expected-note {{declared}} + auto L = [z = x](char a) { //expected-note {{begins}} + auto M = [&y = x](T b) { //expected-error {{cannot be implicitly captured}} + return y; + }; + return M; + }; + + } + { // will need to capture x in outer lambda + const T x = 10; + auto L = [=,z = x](char a) { + auto M = [&y = x](T b) { + return y; + }; + return M; + }; + + } + { // will need to capture x in outer lambda + const T x = 10; + auto L = [x, z = x](char a) { + auto M = [&y = x](T b) { + return y; + }; + return M; + }; + } + { // will need to capture x in outer lambda + const int x = 10; //expected-note 2{{declared}} + auto L = [z = x](char a) { //expected-note 2{{begins}} + auto M = [&y = x](T b) { //expected-error 2{{cannot be implicitly captured}} + return y; + }; + return M; + }; + } + { + // no captures + const T x = 10; + auto L = [z = + [z = x, &y = x](char a) { return z + y; }('a')](char a) + { return z; }; + + } + + return 0; +} + +int run = test(); //expected-note {{instantiation}} + +}
\ No newline at end of file |
