Fix #15008 internalAstError for

c++23 lambda

Author: web-flow

lib/astutils.cpp

@@ -3304,12 +3304,12 @@ static T* findLambdaEndTokenGeneric(T* first)
         return nullptr;
     if (!maybeLambda(first->previous()))
         return nullptr;
-    if (!Token::Match(first->link(), "] (|{|<"))
+    if (!Token::Match(first->link(), "] [({<.]"))
         return nullptr;
     const Token* roundOrCurly = first->link()->next();
     if (roundOrCurly->link() && roundOrCurly->str() == "<")
         roundOrCurly = roundOrCurly->link()->next();
-    if (first->astOperand1() != roundOrCurly)
+    if (first->astOperand1() != roundOrCurly && roundOrCurly->str() != ".")
         return nullptr;
     T * tok = first;
 

lib/tokenlist.cpp

@@ -1013,7 +1013,7 @@ static void compilePrecedence2(Token *&tok, AST_state& state)
             else
                 compileUnaryOp(tok, state, compileScope);
         } else if (tok->str() == "[") {
-            if (state.cpp && isPrefixUnary(tok, /*cpp*/ true) && Token::Match(tok->link(), "] (|{|<")) { // Lambda
+            if (state.cpp && isPrefixUnary(tok, /*cpp*/ true) && Token::Match(tok->link(), "] [({<.]")) { // Lambda
                 // What we do here:
                 // - Nest the round bracket under the square bracket.
                 // - Nest what follows the lambda (if anything) with the lambda opening [
@@ -1062,7 +1062,18 @@ static void compilePrecedence2(Token *&tok, AST_state& state)
                         continue;
                     }
                 } else {
-                    Token* const curlyBracket = squareBracket->link()->next();
+                    Token* curlyBracket = squareBracket->link()->next();
+                    if (Token::simpleMatch(curlyBracket, ".")) { // trailing return type
+                        curlyBracket = curlyBracket->next();
+                        while (Token::Match(curlyBracket, "%type%|%name%|::|&|&&|*|<|(")) {
+                            if (curlyBracket->link())
+                                curlyBracket = curlyBracket->link()->next();
+                            else
+                                curlyBracket = curlyBracket->next();
+                        }
+                    }
+                    if (!Token::simpleMatch(curlyBracket, "{"))
+                        throw InternalError(tok, "Syntax error in lambda", InternalError::AST);
                     squareBracket->astOperand1(curlyBracket);
                     state.op.push(squareBracket);
                     tok = curlyBracket->link() ? curlyBracket->link()->next() : nullptr;

test/testtokenize.cpp

@@ -7632,6 +7632,8 @@ class TestTokenizer : public TestFixture {
         ASSERT_EQUALS("sf.{(i[{={", testAst("void g(int i) { S s{ .f = { [i]() {} } }; }\n"));
 
         ASSERT_EQUALS("{([", testAst("void f() { []() {}; }\n")); // #13471
+
+        ASSERT_EQUALS("x{=[= 0return", testAst("void f() { auto x = [=] -> int { return 0; }; }\n")); // #15008
     }
 
     void astcase() {

test/testvalueflow.cpp

@@ -8097,7 +8097,7 @@ class TestValueFlow : public TestFixture {
         code = "void f(int& r) {\n" // #13515
                "    [0].p = &r;\n"
                "}\n";
-        (void)valueOfTok(code, "=");
+        ASSERT_THROW_INTERNAL(valueOfTok(code, "="), AST);
     }
 
     void valueFlowCrash() {