Merge pull request #642 from andreasfertig/p0960

Added support for P0960: Allow initializing aggregates from a parenthesized list of values

CodeGenerator.cpp

@@ -1316,7 +1316,9 @@ void CodeGenerator::InsertArg(const VarDecl* stmt)
                     if(not(ctorExpr and ctorExpr->getConstructor()->isDefaultConstructor() and
                            ctorExpr->getConstructor()->getParent()->hasTrivialDefaultConstructor())) {
 
-                        mOutputFormatHelper.Append(hlpAssing);
+                        if(not isa<CXXParenListInitExpr>(init)) {
+                            mOutputFormatHelper.Append(hlpAssing);
+                        }
 
                         if(GetInsightsOptions().ShowLifetime and init->isXValue() and
                            stmt->getType()->isRValueReferenceType()) {
@@ -2005,6 +2007,12 @@ void CodeGenerator::InsertArg(const ParenExpr* stmt)
 }
 //-----------------------------------------------------------------------------
 
+void CodeGenerator::InsertArg(const CXXParenListInitExpr* stmt)
+{
+    WrapInParens([&]() { ForEachArg(stmt->getInitExprs(), [&](const auto& init) { InsertArg(init); }); });
+}
+//-----------------------------------------------------------------------------
+
 void CodeGenerator::InsertArg(const UnaryOperator* stmt)
 {
     StringRef  opCodeName = UnaryOperator::getOpcodeStr(stmt->getOpcode());

CodeGeneratorTypes.h

@@ -133,6 +133,7 @@ SUPPORTED_STMT(ConceptSpecializationExpr)
 SUPPORTED_STMT(RequiresExpr)
 SUPPORTED_STMT(StmtExpr)
 SUPPORTED_STMT(SourceLocExpr)
+SUPPORTED_STMT(CXXParenListInitExpr)
 SUPPORTED_STMT(CppInsightsCommentStmt)
 
 #undef IGNORED_DECL

tests/p0960Test.cpp

@@ -0,0 +1,13 @@
+// cmdline:-std=c++20
+
+struct Point {
+  int y;
+  int x = 2;
+  int z;
+};
+
+int main()
+{
+  Point p (2, 3, 4);
+}
+

tests/p0960Test.expect

@@ -0,0 +1,13 @@
+struct Point
+{
+  int y;
+  int x = 2;
+  int z;
+};
+
+
+int main()
+{
+  Point p(2, 3, 4);
+  return 0;
+}