Merge pull request #2734 from guwirth/cpp23-init-statement

C++23 extend init-statement to allow alias-declaration

cxx-squid/dox/diff-cpp20-cpp23_grammar.txt

@@ -166,11 +166,6 @@ requirement-seq:
 
 **A.6 Statements [gram.stmt]**
 
-init-statement:
-   expression-statement
-   simple-declaration
-   alias-declaration
-
 label:
    attribute-specifier-seqopt identifier :
    attribute-specifier-seqopt case constant-expression :

cxx-squid/src/main/java/org/sonar/cxx/parser/CxxGrammarImpl.java

@@ -928,7 +928,8 @@ private static void statements(LexerfulGrammarBuilder b) {
     b.rule(initStatement).is(
       b.firstOf(
         expressionStatement, // C++
-        simpleDeclaration // C++
+        simpleDeclaration, // C++
+        aliasDeclaration // C++23
       )
     );
 

cxx-squid/src/test/java/org/sonar/cxx/parser/StatementTest.java

@@ -251,15 +251,18 @@ void iterationStatement_reallife() {
       // CLI extension
       .matches("for each(String^% s in arr) { s = i++.ToString(); }")
       // C++17 structered bindings
-      .matches("for (const auto&[key, val] : mymap) { std::cout << key << \": \" << val << std::endl; }");
+      .matches("for (const auto&[key, val] : mymap) { std::cout << key << \": \" << val << std::endl; }")
+      // C++23
+      .matches("for (using T = int; T e : v) ;");
   }
 
   @Test
   void forInitStatement_reallife() {
     setRootRule(CxxGrammarImpl.initStatement);
 
     assertThatParser()
-      .matches("int i=1;");
+      .matches("int i=1;")
+      .matches("using T = int;"); // C++23
   }
 
   @Test

cxx-squid/src/test/resources/parser/own/C++23/init-statement.cc

@@ -0,0 +1,4 @@
+void sample() {
+   for (using T = int; T e : v)
+      /* something */;
+}