| // RUN: %clang_cc1 -std=c++14 -verify -fsyntax-only -Wshadow -D AVOID %s |
| // RUN: %clang_cc1 -std=c++14 -verify -fsyntax-only -Wshadow -Wshadow-uncaptured-local %s |
| // RUN: %clang_cc1 -std=c++14 -verify -fsyntax-only -Wshadow-all %s |
| // RUN: %clang_cc1 -std=c++17 -verify -fsyntax-only -Wshadow-all %s |
| |
| void foo(int param) { // expected-note 1+ {{previous declaration is here}} |
| int var = 0; // expected-note 1+ {{previous declaration is here}} |
| |
| // Avoid warnings for variables that aren't implicitly captured. |
| { |
| #ifdef AVOID |
| auto f1 = [=] { int var = 1; }; // no warning |
| auto f2 = [&] { int var = 2; }; // no warning |
| auto f3 = [=] (int param) { ; }; // no warning |
| auto f4 = [&] (int param) { ; }; // no warning |
| #else |
| auto f1 = [=] { int var = 1; }; // expected-warning {{declaration shadows a local variable}} |
| auto f2 = [&] { int var = 2; }; // expected-warning {{declaration shadows a local variable}} |
| auto f3 = [=] (int param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| auto f4 = [&] (int param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| } |
| |
| // Warn for variables that are implicitly captured. |
| { |
| auto f1 = [=] () { |
| { |
| int var = 1; // expected-warning {{declaration shadows a local variable}} |
| } |
| int x = var; // expected-note {{variable 'var' is captured here}} |
| }; |
| auto f2 = [&] |
| #ifdef AVOID |
| (int param) { |
| #else |
| (int param) { // expected-warning {{declaration shadows a local variable}} |
| #endif |
| int x = var; // expected-note {{variable 'var' is captured here}} |
| int var = param; // expected-warning {{declaration shadows a local variable}} |
| }; |
| } |
| |
| // Warn for variables that are explicitly captured when a lambda has a default |
| // capture specifier. |
| { |
| auto f1 = [=, &var] () { // expected-note {{variable 'var' is captured here}} |
| int x = param; // expected-note {{variable 'param' is captured here}} |
| int var = 0; // expected-warning {{declaration shadows a local variable}} |
| int param = 0; // expected-warning {{declaration shadows a local variable}} |
| }; |
| } |
| |
| // Warn normally inside of lambdas. |
| auto l1 = [] { // expected-note {{previous declaration is here}} |
| int x = 1; // expected-note {{previous declaration is here}} |
| { int x = 2; } // expected-warning {{declaration shadows a local variable}} |
| }; |
| auto l2 = [] (int x) { // expected-note {{previous declaration is here}} |
| { int x = 1; } // expected-warning {{declaration shadows a local variable}} |
| }; |
| |
| // Avoid warnings for variables that aren't explicitly captured. |
| { |
| #ifdef AVOID |
| auto f1 = [] { int var = 1; }; // no warning |
| auto f2 = [] (int param) { ; }; // no warning |
| auto f3 = [param] () { int var = 1; }; // no warning |
| auto f4 = [var] (int param) { ; }; // no warning |
| #else |
| auto f1 = [] { int var = 1; }; // expected-warning {{declaration shadows a local variable}} |
| auto f2 = [] (int param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| auto f3 = [param] () { int var = 1; }; // expected-warning {{declaration shadows a local variable}} |
| auto f4 = [var] (int param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| }; |
| |
| // Warn for variables that are explicitly captured. |
| { |
| auto f1 = [var] () { // expected-note {{variable 'var' is explicitly captured here}} |
| int var = 1; // expected-warning {{declaration shadows a local variable}} |
| }; |
| auto f2 = [param] // expected-note {{variable 'param' is explicitly captured here}} |
| (int param) { ; }; // expected-error {{a lambda parameter cannot shadow an explicitly captured entity}} |
| } |
| |
| // Warn for variables defined in the capture list. |
| auto l3 = [z = var] { // expected-note {{previous declaration is here}} |
| #ifdef AVOID |
| int var = 1; // no warning |
| #else |
| int var = 1; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| { int z = 1; } // expected-warning {{declaration shadows a local variable}} |
| }; |
| #ifdef AVOID |
| auto l4 = [var = param] (int param) { ; }; // no warning |
| #else |
| auto l4 = [var = param] (int param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| |
| // Make sure that inner lambdas work as well. |
| auto l5 = [var, l1] { // expected-note {{variable 'l1' is explicitly captured here}} |
| auto l1 = [] { // expected-warning {{declaration shadows a local variable}} |
| #ifdef AVOID |
| int var = 1; // no warning |
| #else |
| int var = 1; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| }; |
| #ifdef AVOID |
| auto f1 = [] { int var = 1; }; // no warning |
| auto f2 = [=] { int var = 1; }; // no warning |
| #else |
| auto f1 = [] { int var = 1; }; // expected-warning {{declaration shadows a local variable}} |
| auto f2 = [=] { int var = 1; }; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| auto f3 = [var] // expected-note {{variable 'var' is explicitly captured here}} |
| { int var = 1; }; // expected-warning {{declaration shadows a local variable}} |
| auto f4 = [&] { |
| int x = var; // expected-note {{variable 'var' is captured here}} |
| int var = 2; // expected-warning {{declaration shadows a local variable}} |
| }; |
| }; |
| auto l6 = [&] { |
| auto f1 = [param] { // expected-note {{variable 'param' is explicitly captured here}} |
| int param = 0; // expected-warning {{declaration shadows a local variable}} |
| }; |
| }; |
| |
| // Generic lambda arguments should work. |
| #ifdef AVOID |
| auto g1 = [](auto param) { ; }; // no warning |
| auto g2 = [=](auto param) { ; }; // no warning |
| #else |
| auto g1 = [](auto param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| auto g2 = [=](auto param) { ; }; // expected-warning {{declaration shadows a local variable}} |
| #endif |
| auto g3 = [param] // expected-note {{variable 'param' is explicitly captured here}} |
| (auto param) { ; }; // expected-error {{a lambda parameter cannot shadow an explicitly captured entity}} |
| } |
| |
| void avoidWarningWhenRedefining() { |
| int a = 1; |
| auto l = [b = a] { // expected-note {{previous definition is here}} |
| // Don't warn on redefinitions. |
| int b = 0; // expected-error {{redefinition of 'b'}} |
| }; |
| } |