clang/test/FixIt/fixit-unused-lambda-capture-trailing-tokens.cpp

// RUN: cp %s %t
// RUN: %clang_cc1 -x c++ -Wunused-lambda-capture -Wno-unused-value -std=c++1z -fixit %t
// RUN: grep -v CHECK %t | FileCheck %s
// RUN: %clang_cc1 -x c++ -Wunused-lambda-capture -Wno-unused-value -std=c++1z -fsyntax-only %s 2>&1 | FileCheck --match-full-lines --strict-whitespace --check-prefix POINTER %s


#define MACRO_CAPTURE(...) __VA_ARGS__
#define M_A a
#define M_B b

int main() {
    int a = 0, b = 0, c = 0, d = 0;
    auto F0 = [a, &b]() mutable {
    // CHECK: auto F0 = [a]()
         // POINTER:{{^.*}}|     auto F0 = [a, &b]() mutable {
    // POINTER-NEXT:{{^.*}}|                 ~~~^

        a++;
    };

    auto F1 = [&a, &b]() {
    // CHECK: auto F1 = []() {
         // POINTER:{{^.*}}|     auto F1 = [&a, &b]() {
    // POINTER-NEXT:{{^.*}}|                ~^~
         // POINTER:{{^.*}}|     auto F1 = [&a, &b]() {
    // POINTER-NEXT:{{^.*}}|                  ~~~^
    };

    auto F2 = [&a, b]() {
    // CHECK: auto F2 = []() {
         // POINTER:{{^.*}}|     auto F2 = [&a, b]() {
    // POINTER-NEXT:{{^.*}}|                ~^~
         // POINTER:{{^.*}}|     auto F2 = [&a, b]() {
    // POINTER-NEXT:{{^.*}}|                  ~~^
    };

    auto F3 = [&a,
         &b]() {
    // CHECK: auto F3 = []() {
         // POINTER:{{^.*}}|     auto F3 = [&a,
    // POINTER-NEXT:{{^.*}}|                ~^~
    // POINTER-NEXT:{{^.*}}|          &b]() {
         // POINTER:{{^.*}}|     auto F3 = [&a,
    // POINTER-NEXT:{{^.*}}|                  ~
    // POINTER-NEXT:{{^.*}}|          &b]() {
    // POINTER-NEXT:{{^.*}}|          ~^

    };

    auto F4 = [&a
        , &b]() {
    // CHECK: auto F4 = []() {
         // POINTER:{{^.*}}|     auto F4 = [&a
    // POINTER-NEXT:{{^.*}}|                ~^
    // POINTER-NEXT:{{^.*}}|         , &b]() {
    // POINTER-NEXT:{{^.*}}|         ~
         // POINTER:{{^.*}}|     auto F4 = [&a
    // POINTER-NEXT:{{^.*}}|                  {{$}}
    // POINTER-NEXT:{{^.*}}|         , &b]() {
    // POINTER-NEXT:{{^.*}}|         ~~~^
    };
    auto F5 = [&a ,&b]()  {
    // CHECK: auto F5 = []() {
         // POINTER:{{^.*}}|     auto F5 = [&a ,&b]()  {
    // POINTER-NEXT:{{^.*}}|                ~^~~
         // POINTER:{{^.*}}|     auto F5 = [&a ,&b]()  {
    // POINTER-NEXT:{{^.*}}|                   ~~^
    };

    auto F0a = [a, &b]() mutable {
    // CHECK: auto F0a = [a]() mutable {
         // POINTER:{{^.*}}|     auto F0a = [a, &b]() mutable {
    // POINTER-NEXT:{{^.*}}|                  ~~~^
        a++;
    };

    auto F1a = [&a, &b]() {
    // CHECK: auto F1a = [&a]() {
         // POINTER:{{^.*}}|     auto F1a = [&a, &b]() {
    // POINTER-NEXT:{{^.*}}|                   ~~~^
        a++;
    };

    auto F2a = [&a, b]() {
    // CHECK: auto F2a = [&a]() {
         // POINTER:{{^.*}}|     auto F2a = [&a, b]() {
    // POINTER-NEXT:{{^.*}}|                   ~~^
        a++;
    };

    auto F3a = [&a,
         &b]() {
    // CHECK: auto F3a = [&a]() {
         // POINTER:{{^.*}}|     auto F3a = [&a,
    // POINTER-NEXT:{{^.*}}|                   ~
    // POINTER-NEXT:{{^.*}}|          &b]() {
    // POINTER-NEXT:{{^.*}}|          ~^
        a++;
    };

    auto F4a = [&a
        , &b]() {
    // CHECK: auto F4a = [&a]() {
         // POINTER:{{^.*}}|     auto F4a = [&a
    // POINTER-NEXT:{{^.*}}|                   {{$}}
    // POINTER-NEXT:{{^.*}}|         , &b]() {
    // POINTER-NEXT:{{^.*}}|         ~~~^
        a++;
    };

    auto F5a = [&a ,&b]() {
    // CHECK: auto F5a = [&a]() {
         // POINTER:{{^.*}}|     auto F5a = [&a ,&b]() {
    // POINTER-NEXT:{{^.*}}|                    ~~^
        a++;
    };
    auto F0b = [a, &b]() mutable {
    // CHECK: auto F0b = [ &b]() mutable
         // POINTER:{{^.*}}|     auto F0b = [a, &b]() mutable {
    // POINTER-NEXT:{{^.*}}|                 ^~

        b++;
    };

    auto F1b = [&a, &b]() {
    // CHECK: auto F1b = [ &b]() {
         // POINTER:{{^.*}}|     auto F1b = [&a, &b]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~
        b++;
    };

    auto F2b = [&a, b]() mutable {
    // CHECK: auto F2b = [ b]() mutable {
         // POINTER:{{^.*}}|     auto F2b = [&a, b]() mutable {
    // POINTER-NEXT:{{^.*}}|                 ~^~
        b++;
    };

    auto F3b = [&a,
         &b]() {
    // CHECK: auto F3b = [ &b]() {
         // POINTER:{{^.*}}|     auto F3b = [&a,
    // POINTER-NEXT:{{^.*}}|                 ~^~
    // POINTER-NEXT:{{^.*}}|          &b]() {
        b++;
    };

    auto F4b = [&a
        , &b]() {
    // CHECK: auto F4b = [ &b]() {
         // POINTER:{{^.*}}|     auto F4b = [&a
    // POINTER-NEXT:{{^.*}}|                 ~^
    // POINTER-NEXT:{{^.*}}|         , &b]() {
    // POINTER-NEXT:{{^.*}}|         ~

        b++;
    };
    auto F5b = [&a ,&b]() {
    // CHECK: auto F5b = [&b]() {
         // POINTER:{{^.*}}|     auto F5b = [&a ,&b]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~~
        b++;
    };

    auto F6 = [&a, &b, &c]() {
    // CHECK: auto F6 = [&a, &b]() {
         // POINTER:{{^.*}}|     auto F6 = [&a, &b, &c]() {
    // POINTER-NEXT:{{^.*}}|                      ~~~^
        a++;
        b++;
    };
    auto F7 = [&a, &b, &c]() {
    // CHECK: auto F7 = [&a, &c]() {
         // POINTER:{{^.*}}|     auto F7 = [&a, &b, &c]() {
    // POINTER-NEXT:{{^.*}}|                  ~~~^
        a++;
        c++;
    };
    auto F8 = [&a, &b, &c]() {
    // CHECK: auto F8 = [ &b, &c]() {
         // POINTER:{{^.*}}|     auto F8 = [&a, &b, &c]() {
    // POINTER-NEXT:{{^.*}}|                ~^~
        b++;
        c++;
    };
    auto F9 = [&a, &b    , &c]() {
    // CHECK: auto F9 = [&a   , &c]() {
         // POINTER:{{^.*}}|     auto F9 = [&a, &b    , &c]() {
    // POINTER-NEXT:{{^.*}}|                  ~~~^
        a++;
        c++;
    };
    auto F10 = [&a,
         &b, &c]() {
    // CHECK: auto F10 = [&a, &c]() {
         // POINTER:{{^.*}}|     auto F10 = [&a,
    // POINTER-NEXT:{{^.*}}|                   ~
    // POINTER-NEXT:{{^.*}}|          &b, &c]() {
    // POINTER-NEXT:{{^.*}}|          ~^
        a++;
        c++;
    };
    auto F11 = [&a,  &b  ,
         &c]() {
    // CHECK: auto F11 = [&a ,
    // CHECK-NEXT:      &c]() {
         // POINTER:{{^.*}}|     auto F11 = [&a,  &b  ,
    // POINTER-NEXT:{{^.*}}|                   ~~~~^
        a++;
        c++;
    };
    auto F12 = [a = 0,  b  ,
         c]() mutable {
    // CHECK: auto F12 = [ b  ,
    // CHECK-NEXT:     c]() mutable {
         // POINTER:{{^.*}}|     auto F12 = [a = 0,  b  ,
    // POINTER-NEXT:{{^.*}}|                 ^~~~~~
        b++;
        c++;
    };
    auto F13 = [a,  b = 0 ,
         c]() mutable {
    // CHECK: auto F13 = [a ,
    // CHECK-NEXT:     c]() mutable {
         // POINTER:{{^.*}}|     auto F13 = [a,  b = 0 ,
    // POINTER-NEXT:{{^.*}}|                  ~~~^~~~~
        a++;
        c++;
    };
    auto F14 = [a,  b ,
         c
        = 0]() mutable {
    // CHECK: auto F14 = [a,  b]() mutable {
         // POINTER:{{^.*}}|     auto F14 = [a,  b ,
    // POINTER-NEXT:{{^.*}}|                       ~
    // POINTER-NEXT:{{^.*}}|          c
    // POINTER-NEXT:{{^.*}}|          ^
    // POINTER-NEXT:{{^.*}}|         = 0]() mutable {
    // POINTER-NEXT:{{^.*}}|         ~~~
        a++;
        b++;
    };

    // We want to remove everything including the comment
    // as well as the comma following the capture of `a`
    auto F15 = [&a /* comment */, &b]() {
    // CHECK: auto F15 = [ &b]() {
         // POINTER:{{^.*}}|     auto F15 = [&a /* comment */, &b]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~~~~~~~~~~~~~~~
        b++;
    };

    // The comment preceding the first capture remains. This is more
    // by design of the fixit logic than anything else, but we should
    // consider the preceding comment might actually be a comment for
    // the entire capture set, so maybe we do want it to hang around
    auto F16 = [/* comment */ &a , &b]() {
    // CHECK: auto F16 = [/* comment */ &b]() {
         // POINTER:{{^.*}}|     auto F16 = [/* comment */ &a , &b]() {
    // POINTER-NEXT:{{^.*}}|                               ~^~~
        b++;
    };

    auto F16b = [&a ,    /* comment */ &b]() {
    // CHECK: auto F16b = [ /* comment */ &b]() {
         // POINTER:{{^.*}}|     auto F16b = [&a ,    /* comment */ &b]() {
    // POINTER-NEXT:{{^.*}}|                  ~^~~
        b++;
    };

    auto F17 = [&a /* comment */, &b]() {
    // CHECK: auto F17 = [&a]() {
         // POINTER:{{^.*}}|     auto F17 = [&a /* comment */, &b]() {
    // POINTER-NEXT:{{^.*}}|                    ~~~~~~~~~~~~~~~~^

        a++;
    };

    auto F18 = [&a , /* comment */ &b]() {
    // CHECK: auto F18 = [&a]() {
         // POINTER:{{^.*}}|     auto F18 = [&a , /* comment */ &b]() {
    // POINTER-NEXT:{{^.*}}|                    ~~~~~~~~~~~~~~~~~^

        a++;
    };

    auto F19 = [&a /* comment */, &b /* comment */]() {
    // CHECK: auto F19 = [&a /* comment */]() {
         // POINTER:{{^.*}}|     auto F19 = [&a /* comment */, &b /* comment */]() {
    // POINTER-NEXT:{{^.*}}|                    ~~~~~~~~~~~~~~~~^

        a++;
    };

    auto F20 = [MACRO_CAPTURE(&a, &b)]() {
    // CHECK: auto F20 = [MACRO_CAPTURE(&a, &b)]() {
         // POINTER:{{^.*}}|     auto F20 = [MACRO_CAPTURE(&a, &b)]() {
    // POINTER-NEXT:{{^.*}}|                               ~^
          // POINTER:{{^.*}}|     auto F20 = [MACRO_CAPTURE(&a, &b)]() {
    // POINTER-NEXT:{{^.*}}|                                   ~^
    };

    auto F21 = [MACRO_CAPTURE(&a), &b]() {
    // CHECK: auto F21 = []() {
         // POINTER:{{^.*}}|     auto F21 = [MACRO_CAPTURE(&a), &b]() {
    // POINTER-NEXT:{{^.*}}|                 ~~~~~~~~~~~~~~~^~~
         // POINTER:{{^.*}}|     auto F21 = [MACRO_CAPTURE(&a), &b]() {
    // POINTER-NEXT:{{^.*}}|                                  ~~~^
    };

    auto F22 = [MACRO_CAPTURE(&a,) &b]() {
    // CHECK: auto F22 = [MACRO_CAPTURE(&a,) &b]() {
         // POINTER:{{^.*}}|     auto F22 = [MACRO_CAPTURE(&a,) &b]() {
    // POINTER-NEXT:{{^.*}}|                               ~^
         // POINTER:{{^.*}}|     auto F22 = [MACRO_CAPTURE(&a,) &b]() {
    // POINTER-NEXT:{{^.*}}|                                    ~^
    };
    auto F23 = [&a MACRO_CAPTURE(, &b)]() {
    // CHECK: auto F23 = [&a]() {
         // POINTER:{{^.*}}|     auto F23 = [&a MACRO_CAPTURE(, &b)]() {
    // POINTER-NEXT:{{^.*}}|                 ~^
         // POINTER:{{^.*}}|     auto F23 = [&a MACRO_CAPTURE(, &b)]() {
    // POINTER-NEXT:{{^.*}}|                    ~~~~~~~~~~~~~~~~~^~
    };
    auto F24 = [&a, MACRO_CAPTURE(&b)]() {
    // CHECK: auto F24 = []() {
         // POINTER:{{^.*}}|     auto F24 = [&a, MACRO_CAPTURE(&b)]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~
         // POINTER:{{^.*}}|     auto F24 = [&a, MACRO_CAPTURE(&b)]() {
    // POINTER-NEXT:{{^.*}}|                   ~~~~~~~~~~~~~~~~~^~
    };

    auto F20a = [MACRO_CAPTURE(&a, &b)]() {
    // CHECK: auto F20a = [MACRO_CAPTURE(&a, &b)]() {
         // POINTER:{{^.*}}|     auto F20a = [MACRO_CAPTURE(&a, &b)]() {
    // POINTER-NEXT:{{^.*}}|                                    ~^
      a++;
    };

    auto F21a = [MACRO_CAPTURE(&a), &b]() {
    // CHECK: auto F21a = [MACRO_CAPTURE(&a)]() {
         // POINTER:{{^.*}}|     auto F21a = [MACRO_CAPTURE(&a), &b]() {
    // POINTER-NEXT:{{^.*}}|                                   ~~~^
      a++;
    };

    auto F22a = [MACRO_CAPTURE(&a,) &b]() {
    // CHECK: auto F22a = [MACRO_CAPTURE(&a,) &b]() {
         // POINTER:{{^.*}}|     auto F22a = [MACRO_CAPTURE(&a,) &b]() {
    // POINTER-NEXT:{{^.*}}|                                     ~^
      a++;
    };
    auto F23a = [&a MACRO_CAPTURE(, &b)]() {
    // CHECK: auto F23a = [&a]() {
         // POINTER:{{^.*}}|     auto F23a = [&a MACRO_CAPTURE(, &b)]() {
    // POINTER-NEXT:{{^.*}}|                     ~~~~~~~~~~~~~~~~~^~
      a++;
    };
    auto F24a = [&a, MACRO_CAPTURE(&b)]() {
    // CHECK: auto F24a = [&a]() {
         // POINTER:{{^.*}}|     auto F24a = [&a, MACRO_CAPTURE(&b)]() {
    // POINTER-NEXT:{{^.*}}|                    ~~~~~~~~~~~~~~~~~^~
      a++;
    };
    auto F20b = [MACRO_CAPTURE(&a, &b)]() {
    // CHECK: auto F20b = [MACRO_CAPTURE(&a, &b)]() {
         // POINTER:{{^.*}}|     auto F20b = [MACRO_CAPTURE(&a, &b)]() {
    // POINTER-NEXT:{{^.*}}|                                ~^
      b++;
    };

    auto F21b = [MACRO_CAPTURE(&a), &b]() {
    // CHECK: auto F21b = [ &b]() {
         // POINTER:{{^.*}}|     auto F21b = [MACRO_CAPTURE(&a), &b]() {
    // POINTER-NEXT:{{^.*}}|                  ~~~~~~~~~~~~~~~^~~
      b++;
    };

    auto F22b = [MACRO_CAPTURE(&a,) &b]() {
    // CHECK: auto F22b = [MACRO_CAPTURE(&a,) &b]() {
         // POINTER:{{^.*}}|     auto F22b = [MACRO_CAPTURE(&a,) &b]() {
    // POINTER-NEXT:{{^.*}}|                                ~^
      b++;
    };
    auto F23b = [&a MACRO_CAPTURE(, &b)]() {
    // CHECK: auto F23b = [&a MACRO_CAPTURE(, &b)]() {
         // POINTER:{{^.*}}|     auto F23b = [&a MACRO_CAPTURE(, &b)]() {
    // POINTER-NEXT:{{^.*}}|                  ~^
      b++;
    };
    auto F24b = [&a, MACRO_CAPTURE(&b)]() {
    // CHECK: auto F24b = [ MACRO_CAPTURE(&b)]() {
         // POINTER:{{^.*}}|     auto F24b = [&a, MACRO_CAPTURE(&b)]() {
    // POINTER-NEXT:{{^.*}}|                  ~^~
      b++;
    };

    auto F25ma = [&M_A, &b]() {
    // CHECK:     auto F25ma = []() {
         // POINTER:{{^.*}}|     auto F25ma = [&M_A, &b]() {
    // POINTER-NEXT:{{^.*}}|                   ~^~~~
         // POINTER:{{^.*}}|     auto F25ma = [&M_A, &b]() {
    // POINTER-NEXT:{{^.*}}|                       ~~~^
    };
    auto F25mb = [&a, &M_B]() {
    // CHECK: auto F25mb = []() {
         // POINTER:{{^.*}}|     auto F25mb = [&a, &M_B]() {
    // POINTER-NEXT:{{^.*}}|                   ~^~
         // POINTER:{{^.*}}|     auto F25mb = [&a, &M_B]() {
    // POINTER-NEXT:{{^.*}}|                     ~~~^~~
    };

    auto F25mab = [&M_A, &b]() {
    // CHECK: auto F25mab = [ &b]() {
         // POINTER:{{^.*}}|     auto F25mab = [&M_A, &b]() {
    // POINTER-NEXT:{{^.*}}|                    ~^~~~
        b++;
    };
    auto F25amb = [&a, &M_B]() {
    //CHECK: auto F25amb = []() {
         // POINTER:{{^.*}}|     auto F25amb = [&a, &M_B]() {
    // POINTER-NEXT:{{^.*}}|                    ~^~
         // POINTER:{{^.*}}|     auto F25amb = [&a, &M_B]() {
    // POINTER-NEXT:{{^.*}}|                      ~~~^~~
    };

    auto F26 = [&a, &b, &c, &d]() {
    // CHECK: auto F26 = [&a, &b]() {
         // POINTER:{{^.*}}|     auto F26 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                       ~~~^
         // POINTER:{{^.*}}|     auto F26 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                           ~~~^

        (void)a;
        (void)b;
    };

    auto F27 = [&a, &b, &c, &d]() {
    // CHECK: auto F27 = [&a, &c]() {
         // POINTER:{{^.*}}|     auto F27 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                   ~~~^
         // POINTER:{{^.*}}|     auto F27 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                           ~~~^

        (void)a;
        (void)c;
    };

    auto F28 = [&a, &b, &c, &d]() {
        // CHECK: auto F28 = [&a, &d]() {
         // POINTER:{{^.*}}|     auto F28 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                   ~~~^
         // POINTER:{{^.*}}|     auto F28 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                       ~~~^

        (void)a;
        (void)d;
    };

    auto F29 = [&a, &b, &c, &d]() {
    // CHECK: auto F29 = [ &b, &c]() {
         // POINTER:{{^.*}}|     auto F29 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~
         // POINTER:{{^.*}}|     auto F29 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                           ~~~^

        (void)b;
        (void)c;
    };

    auto F30 = [&a, &b, &c, &d]() {
    // CHECK: auto F30 = [ &b, &d]() {
         // POINTER:{{^.*}}|     auto F30 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~
         // POINTER:{{^.*}}|     auto F30 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                       ~~~^

        (void)b;
        (void)d;
    };

    auto F31 = [&a, &b, &c, &d]() {
    // CHECK: auto F31 = [ &c, &d]() {
         // POINTER:{{^.*}}|     auto F31 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                 ~^~
         // POINTER:{{^.*}}|     auto F31 = [&a, &b, &c, &d]() {
    // POINTER-NEXT:{{^.*}}|                     ~^~
        (void)c;
        (void)d;
    };
}