Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2223247/?format=api
{ "id": 2223247, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2223247/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/ad6UuwEDu1j6WhdA@tucnak/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/1.1/projects/17/?format=api", "name": "GNU Compiler Collection", "link_name": "gcc", "list_id": "gcc-patches.gcc.gnu.org", "list_email": "gcc-patches@gcc.gnu.org", "web_url": null, "scm_url": null, "webscm_url": null }, "msgid": "<ad6UuwEDu1j6WhdA@tucnak>", "date": "2026-04-14T19:25:47", "name": "c++, libstdc++, v3: Implement LWG4483 - Multidimensional arrays are not supported by meta::reflect_constant_array and related functions", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "74d03805fd6fb6e221be7dc67f6c184e8bb045e5", "submitter": { "id": 671, "url": "http://patchwork.ozlabs.org/api/1.1/people/671/?format=api", "name": "Jakub Jelinek", "email": "jakub@redhat.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/ad6UuwEDu1j6WhdA@tucnak/mbox/", "series": [ { "id": 499888, "url": "http://patchwork.ozlabs.org/api/1.1/series/499888/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=499888", "date": "2026-04-14T19:25:47", "name": "c++, libstdc++, v3: Implement LWG4483 - Multidimensional arrays are not supported by meta::reflect_constant_array and related functions", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/499888/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2223247/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2223247/checks/", "tags": {}, "headers": { "Return-Path": "<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>", "X-Original-To": [ "incoming@patchwork.ozlabs.org", "gcc-patches@gcc.gnu.org" ], "Delivered-To": [ "patchwork-incoming@legolas.ozlabs.org", "gcc-patches@gcc.gnu.org" ], "Authentication-Results": [ "legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=URRdM3mj;\n\tdkim-atps=neutral", "legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)", "sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=URRdM3mj", "sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=redhat.com", "sourceware.org; spf=pass smtp.mailfrom=redhat.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=170.10.129.124" ], "Received": [ "from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4fwDmH1GfGz1xtJ\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 05:26:37 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id D04994BA2E39\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 14 Apr 2026 19:26:35 +0000 (GMT)", "from us-smtp-delivery-124.mimecast.com\n (us-smtp-delivery-124.mimecast.com [170.10.129.124])\n by sourceware.org (Postfix) with ESMTP id 5DA594BA2E32\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 19:25:55 +0000 (GMT)", "from mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com\n (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by\n relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3,\n cipher=TLS_AES_256_GCM_SHA384) id us-mta-325-N92-H-bbPF-G_6zkAXcuVg-1; Tue,\n 14 Apr 2026 15:25:53 -0400", "from mx-prod-int-01.mail-002.prod.us-west-2.aws.redhat.com\n (mx-prod-int-01.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.4])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest\n SHA256)\n (No client certificate requested)\n by mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS\n id 4C9371956056; Tue, 14 Apr 2026 19:25:52 +0000 (UTC)", "from tucnak.zalov.cz (unknown [10.44.33.129])\n by mx-prod-int-01.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with\n ESMTPS\n id 51BED3000C1F; Tue, 14 Apr 2026 19:25:51 +0000 (UTC)", "from tucnak.zalov.cz (localhost [127.0.0.1])\n by tucnak.zalov.cz (8.18.1/8.18.1) with ESMTPS id 63EJPmLm3024427\n (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT);\n Tue, 14 Apr 2026 21:25:48 +0200", "(from jakub@localhost)\n by tucnak.zalov.cz (8.18.1/8.18.1/Submit) id 63EJPmWp3024426;\n Tue, 14 Apr 2026 21:25:48 +0200" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org D04994BA2E39", "OpenDKIM Filter v2.11.0 sourceware.org 5DA594BA2E32" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 5DA594BA2E32", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 5DA594BA2E32", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776194755; cv=none;\n b=ef6U4v6rXn4inHXzytCM7uT2+QojubNiT9ObuH09rTdbckwPh1WGCfwqElS20GrN39ndT70Npv7onNeAKZ1fX1yaTMpm03spDgPoEEZcRpYPw4rezqie7hn52ua0ypX4YasnMtc5rJkhoBpUO+PMOfTKdH9tJSnKuuw9I+NCfeg=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776194755; c=relaxed/simple;\n bh=/BzvooGCZw5MM6XlZScwCnS5/5DHqZgsrtVfxyqkvQE=;\n h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version;\n b=UlPCX7XAHXdgwCfR1IEZ4FbD2k5Gb2y3j46PW58stUXUQkj+Tm6ulRLRU85YwhYDepGF/PpEUbJ0GbXuNhbRwsbio2vcalyFrUmNM6zr1bOApvuO9IRhv7FNKZ5OWBQ8USOE73RQiD1pC/Ll6AX+Dl06ifN8Ow5+6pFrSHpaNoc=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com;\n s=mimecast20190719; t=1776194755;\n h=from:from:reply-to:reply-to:subject:subject:date:date:\n message-id:message-id:to:to:cc:cc:mime-version:mime-version:\n content-type:content-type:in-reply-to:in-reply-to: references:references;\n bh=tWh8b083yb/M0o8SRfzV6PrleVv7gLoEkEep5ssHgps=;\n b=URRdM3mj+SnooPQr1mdpMQdqezYsLB17oogj6gsPX+8ZPKyxfOjVMn/7TpE0PrNTDWvUhr\n 5FJSaDaL2iRJotGnk4XhQnWZle2PU3yJ+9DpzG2TaenP5D6y8ERR1plbhRm7RB+uWtuxX/\n he+JioCM4Ca1dHEWEAei/M0xW48K7v0=", "X-MC-Unique": "N92-H-bbPF-G_6zkAXcuVg-1", "X-Mimecast-MFC-AGG-ID": "N92-H-bbPF-G_6zkAXcuVg_1776194752", "Date": "Tue, 14 Apr 2026 21:25:47 +0200", "From": "Jakub Jelinek <jakub@redhat.com>", "To": "Jason Merrill <jason@redhat.com>", "Cc": "Marek Polacek <polacek@redhat.com>, Jonathan Wakely <jwakely@redhat.com>,\n Tomasz Kaminski <tkaminsk@redhat.com>, gcc-patches@gcc.gnu.org,\n libstdc++@gcc.gnu.org", "Subject": "[PATCH] c++, libstdc++, v3: Implement LWG4483 - Multidimensional\n arrays are not supported by meta::reflect_constant_array and related\n functions", "Message-ID": "<ad6UuwEDu1j6WhdA@tucnak>", "References": "<adkUGggIiITbC-cp@tucnak>\n <CAKvuMXBJMd=813ixZmS-_+MuP8_EJf8SrtnbvEfueM2spptYZA@mail.gmail.com>\n <adkbHhg3-pyumdxH@tucnak>\n <1ab72c7c-be1a-4539-9fb5-b0d11071752b@redhat.com>", "MIME-Version": "1.0", "In-Reply-To": "<1ab72c7c-be1a-4539-9fb5-b0d11071752b@redhat.com>", "X-Scanned-By": "MIMEDefang 3.4.1 on 10.30.177.4", "X-Mimecast-Spam-Score": "0", "X-Mimecast-MFC-PROC-ID": "wgPCx_48s9Qn4eCbT-Tny8H8_qV8ke0Jva0xgpQuaeY_1776194752", "X-Mimecast-Originator": "redhat.com", "Content-Type": "text/plain; charset=us-ascii", "Content-Disposition": "inline", "X-BeenThere": "gcc-patches@gcc.gnu.org", "X-Mailman-Version": "2.1.30", "Precedence": "list", "List-Id": "Gcc-patches mailing list <gcc-patches.gcc.gnu.org>", "List-Unsubscribe": "<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>", "List-Archive": "<https://gcc.gnu.org/pipermail/gcc-patches/>", "List-Post": "<mailto:gcc-patches@gcc.gnu.org>", "List-Help": "<mailto:gcc-patches-request@gcc.gnu.org?subject=help>", "List-Subscribe": "<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>", "Reply-To": "Jakub Jelinek <jakub@redhat.com>", "Errors-To": "gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org" }, "content": "On Tue, Apr 14, 2026 at 03:02:51PM -0400, Jason Merrill wrote:\n> > + unsigned int i;\n> > + tree val;\n> > + FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (expr), i, val)\n> > +\t{\n> > +\t CONSTRUCTOR_ELT (expr, i)->value\n> > +\t = adjust_array_elt (loc, ctx, TREE_TYPE (valuet), val, fun,\n> > +\t\t\t\tnon_constant_p, jump_target);\n> > +\t if (*jump_target || *non_constant_p)\n> > +\t return NULL_TREE;\n> > +\t}\n> > + return expr;\n> > + }\n> > + else if (INTEGRAL_TYPE_P (valuet))\n> \n> Why this special case instead of using convert_reflect_constant_arg for\n> integers as well?\n\nAs it was special cased in get_range_elts as well. But guess it isn't\nneeded in this new function, the reason to use it in get_range_elts is that\nit is really common in that case (e.g. always for reflect_constant_string),\nwhile the multidimensional array case is already uncommon.\nRemoved.\n\n> > @@ -551,7 +593,23 @@ get_range_elts (location_t loc, const co\n> > \t }\n> > \t tree referencet = TYPE_MAIN_VARIANT (instr);\n> > \t TREE_VEC_ELT (args, 0) = referencet;\n> > -\t if (!is_xible (INIT_EXPR, valuet, args))\n> > +\t if (valuete != valuet)\n> > +\t {\n> > +\t tree rt = referencet;\n> > +\t if (TYPE_REF_P (rt))\n> > +\t\trt = TREE_TYPE (rt);\n> > +\t if (!same_type_ignoring_top_level_qualifiers_p (valuet, rt))\n> \n> You could use non_reference (referencet) here.\n\nAdjusted.\n\nTested with reflect/* so far, ok for trunk if it passes full\nbootstrap/regtest?\n\n2026-04-14 Jakub Jelinek <jakub@redhat.com>\n\n\t* reflect.cc (adjust_array_elt): New function.\n\t(get_range_elts): Implement LWG4483 - Multidimensional arrays are not\n\tsupported by meta::reflect_constant_array and related functions.\n\tHandle ARRAY_TYPE valuet. Don't unshare_expr in the class valuet case,\n\tget_template_param_object will unshare.\n\n\t* g++.dg/reflect/reflect_constant_array9.C: New test.\n\t* g++.dg/reflect/reflect_constant_array10.C: New test.\n\t* g++.dg/reflect/reflect_constant_array11.C: New test.\n\t* g++.dg/reflect/define_static_array6.C: New test.\n\t* g++.dg/reflect/define_static_object2.C: Uncomment older tests and\n\tfix them, add tests for unions.\n\n\t* include/std/meta (define_static_object): Adjust for LWG4483 changes\n\t- handle unions and arrays differently.\n\n\n\n\tJakub", "diff": "--- gcc/cp/reflect.cc.jj\t2026-04-10 08:45:20.716811803 +0200\n+++ gcc/cp/reflect.cc\t2026-04-14 21:18:45.776260126 +0200\n@@ -394,6 +394,40 @@ replace_parm_r (tree *tp, int *walk_subt\n static tree throw_exception (location_t, const constexpr_ctx *, const char *,\n \t\t\t tree, bool *, tree *);\n \n+/* Helper function for get_range_elts, handle adjustment of ARRAY_TYPE elts\n+ of a retvec. */\n+\n+static tree\n+adjust_array_elt (location_t loc, const constexpr_ctx *ctx, tree valuet,\n+\t\t tree expr, tree fun, bool *non_constant_p, tree *jump_target)\n+{\n+ if (TREE_CODE (valuet) == ARRAY_TYPE)\n+ {\n+ if (TREE_CODE (expr) != CONSTRUCTOR\n+\t || TREE_CODE (TREE_TYPE (expr)) != ARRAY_TYPE)\n+\treturn throw_exception (loc, ctx, \"reflect_constant_array failed\",\n+\t\t\t\tfun, non_constant_p, jump_target);\n+ unsigned int i;\n+ tree val;\n+ FOR_EACH_CONSTRUCTOR_VALUE (CONSTRUCTOR_ELTS (expr), i, val)\n+\t{\n+\t CONSTRUCTOR_ELT (expr, i)->value\n+\t = adjust_array_elt (loc, ctx, TREE_TYPE (valuet), val, fun,\n+\t\t\t\tnon_constant_p, jump_target);\n+\t if (*jump_target || *non_constant_p)\n+\t return NULL_TREE;\n+\t}\n+ return expr;\n+ }\n+ expr = convert_reflect_constant_arg (valuet, expr);\n+ if (expr == error_mark_node)\n+ return throw_exception (loc, ctx, \"reflect_constant failed\",\n+\t\t\t fun, non_constant_p, jump_target);\n+ if (VAR_P (expr))\n+ expr = DECL_INITIAL (expr);\n+ return expr;\n+}\n+\n /* Kinds for get_range_elts. */\n \n enum get_range_elts_kind {\n@@ -513,23 +547,24 @@ get_range_elts (location_t loc, const co\n \t}\n if (kind == REFLECT_CONSTANT_ARRAY)\n \t{\n-\t if (!structural_type_p (valuet))\n+\t tree valuete = strip_array_types (valuet);\n+\t if (!structural_type_p (valuete))\n \t {\n \t if (!cxx_constexpr_quiet_p (ctx))\n \t\t{\n \t\t auto_diagnostic_group d;\n \t\t error_at (loc, \"%<reflect_constant_array%> argument with \"\n \t\t\t\t \"%qT which is not a structural type\", inst);\n-\t\t structural_type_p (valuet, true);\n+\t\t structural_type_p (valuete, true);\n \t\t}\n \t *non_constant_p = true;\n \t return NULL_TREE;\n \t }\n \t TREE_VEC_ELT (args, 0)\n-\t = build_stub_type (valuet,\n-\t\t\t cp_type_quals (valuet) | TYPE_QUAL_CONST,\n+\t = build_stub_type (valuete,\n+\t\t\t cp_type_quals (valuete) | TYPE_QUAL_CONST,\n \t\t\t false);\n-\t if (!is_xible (INIT_EXPR, valuet, args))\n+\t if (!is_xible (INIT_EXPR, valuete, args))\n \t {\n \t if (!cxx_constexpr_quiet_p (ctx))\n \t\terror_at (loc, \"%<reflect_constant_array%> argument with %qT \"\n@@ -551,7 +586,21 @@ get_range_elts (location_t loc, const co\n \t }\n \t tree referencet = TYPE_MAIN_VARIANT (instr);\n \t TREE_VEC_ELT (args, 0) = referencet;\n-\t if (!is_xible (INIT_EXPR, valuet, args))\n+\t if (valuete != valuet)\n+\t {\n+\t tree rt = non_reference (referencet);\n+\t if (!same_type_ignoring_top_level_qualifiers_p (valuet, rt))\n+\t\t{\n+\t\t if (!cxx_constexpr_quiet_p (ctx))\n+\t\t error_at (loc, \"%<reflect_constant_array%> argument with \"\n+\t\t\t\t \"%qT which is not compatible with %qT \"\n+\t\t\t\t \"%<std::ranges::range_reference_t%>\",\n+\t\t\t inst, referencet);\n+\t\t *non_constant_p = true;\n+\t\t return NULL_TREE;\n+\t\t}\n+\t }\n+\t else if (!is_xible (INIT_EXPR, valuet, args))\n \t {\n \t if (!cxx_constexpr_quiet_p (ctx))\n \t\terror_at (loc, \"%<reflect_constant_array%> argument with %qT \"\n@@ -595,12 +644,22 @@ get_range_elts (location_t loc, const co\n \telse\n \t {\n \t gcc_assert (kind == REFLECT_CONSTANT_ARRAY);\n+\t if (TREE_CODE (valuet) == ARRAY_TYPE)\n+\t {\n+\t\tretvec[i]\n+\t\t = adjust_array_elt (loc, ctx, valuet,\n+\t\t\t\t unshare_expr (retvec[i]), fun,\n+\t\t\t\t non_constant_p, jump_target);\n+\t\tif (*jump_target || *non_constant_p)\n+\t\t return NULL_TREE;\n+\t\tcontinue;\n+\t }\n \t tree expr = convert_reflect_constant_arg (valuet, retvec[i]);\n \t if (expr == error_mark_node)\n \t return throw_exception (loc, ctx, \"reflect_constant failed\",\n \t\t\t\t fun, non_constant_p, jump_target);\n \t if (VAR_P (expr))\n-\t expr = unshare_expr (DECL_INITIAL (expr));\n+\t expr = DECL_INITIAL (expr);\n \t retvec[i] = expr;\n \t }\n }\n--- gcc/testsuite/g++.dg/reflect/reflect_constant_array9.C.jj\t2026-04-10 14:58:28.892432782 +0200\n+++ gcc/testsuite/g++.dg/reflect/reflect_constant_array9.C\t2026-04-10 15:46:45.523823103 +0200\n@@ -0,0 +1,28 @@\n+// LWG4483 - Multidimensional arrays are not supported by\n+// meta::reflect_constant_array and related functions.\n+// { dg-do compile { target c++26 } }\n+// { dg-additional-options \"-freflection\" }\n+\n+#include <meta>\n+\n+consteval auto\n+foo ()\n+{\n+ int a[3][3][3];\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\ta[i][j][k] = i + j + k;\n+ return std::meta::reflect_constant_array (a);\n+}\n+\n+static_assert (foo () == foo ());\n+static_assert (type_of (foo ()) == ^^const int [3][3][3]);\n+constexpr auto &m = [: foo () :];\n+consteval {\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\tif (m[i][j][k] != i + j + k)\n+\t throw 1;\n+}\n--- gcc/testsuite/g++.dg/reflect/reflect_constant_array10.C.jj\t2026-04-10 16:43:43.192287885 +0200\n+++ gcc/testsuite/g++.dg/reflect/reflect_constant_array10.C\t2026-04-10 17:39:16.165672372 +0200\n@@ -0,0 +1,57 @@\n+// LWG4483 - Multidimensional arrays are not supported by\n+// meta::reflect_constant_array and related functions.\n+// { dg-do compile { target c++26 } }\n+// { dg-additional-options \"-freflection\" }\n+\n+#include <ranges>\n+#include <meta>\n+\n+consteval auto\n+foo ()\n+{\n+ int a[3][3][3];\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\ta[i][j][k] = i + 3 * j + 9 * k;\n+ std::span <int[3][3]> b = a;\n+ return std::meta::reflect_constant_array (b);\n+}\n+\n+static_assert (foo () == foo ());\n+static_assert (type_of (foo ()) == ^^const int [3][3][3]);\n+constexpr auto &m = [: foo () :];\n+static_assert (foo () == std::meta::reflect_constant_array (m));\n+static_assert (foo () == std::meta::reflect_constant_array (std::span <const int[3][3]> (m)));\n+consteval {\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\tif (m[i][j][k] != i + 3 * j + 9 * k)\n+\t throw 1;\n+}\n+\n+consteval auto\n+bar ()\n+{\n+ int a[3][3][3];\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\ta[i][j][k] = i + 3 * j + 9 * k;\n+ std::span <int[3][3]> b = a;\n+ return std::meta::reflect_constant_array (b | std::views::reverse);\n+}\n+\n+static_assert (bar () == bar ());\n+static_assert (type_of (bar ()) == ^^const int [3][3][3]);\n+constexpr auto &n = [: bar () :];\n+static_assert (bar () == std::meta::reflect_constant_array (n));\n+static_assert (bar () == std::meta::reflect_constant_array (std::span <const int[3][3]> (n)));\n+consteval {\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\tif (n[i][j][k] != (2 - i) + 3 * j + 9 * k)\n+\t throw 1;\n+}\n--- gcc/testsuite/g++.dg/reflect/reflect_constant_array11.C.jj\t2026-04-10 17:00:44.179663685 +0200\n+++ gcc/testsuite/g++.dg/reflect/reflect_constant_array11.C\t2026-04-10 17:05:50.683365136 +0200\n@@ -0,0 +1,18 @@\n+// { dg-do compile { target c++26 } }\n+// { dg-additional-options \"-freflection\" }\n+// Test std::meta::reflect_constant_string.\n+\n+#include <meta>\n+#include <ranges>\n+#include <span>\n+\n+using namespace std::meta;\n+\n+struct A { int a, b; mutable int c; };\n+constexpr A aa[2] = { { 1, 2, 3 }, { 4, 5, 6 } };\n+constexpr auto a = reflect_constant_array (aa);\n+// { dg-error \"'reflect_constant_array' argument with 'std::ranges::range_value_t<const A \\\\\\[2\\\\\\]>' \\\\\\{aka 'A'\\\\\\} which is not a structural type\" \"\" { target *-*-* } .-1 }\n+struct B { constexpr B (int x, int y) : a (x), b (y) {} constexpr ~B () {} B (const B &) = delete; int a, b; };\n+constexpr B b[2][2] = { { { 1, 2 }, { 2, 3 } }, { { 3, 4 }, { 4, 5 } } };\n+constexpr auto c = reflect_constant_array (b);\n+// { dg-error \"'reflect_constant_array' argument with 'std::ranges::range_value_t<const B \\\\\\[2\\\\\\]\\\\\\[2\\\\\\]>' \\\\\\{aka 'B \\\\\\[2\\\\\\]'\\\\\\} which is not copy constructible\" \"\" { target *-*-* } .-1 }\n--- gcc/testsuite/g++.dg/reflect/define_static_array6.C.jj\t2026-04-10 15:44:52.229788936 +0200\n+++ gcc/testsuite/g++.dg/reflect/define_static_array6.C\t2026-04-10 15:52:38.099857297 +0200\n@@ -0,0 +1,27 @@\n+// LWG4483 - Multidimensional arrays are not supported by\n+// meta::reflect_constant_array and related functions.\n+// { dg-do compile { target c++26 } }\n+// { dg-additional-options \"-freflection\" }\n+\n+#include <meta>\n+\n+consteval auto\n+foo ()\n+{\n+ int a[3][3][3];\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\ta[i][j][k] = i + j + k;\n+ return std::define_static_array (a);\n+}\n+\n+static_assert (foo ().size () == 3);\n+constexpr auto *m = foo ().data ();\n+consteval {\n+ for (int i = 0; i < 3; ++i)\n+ for (int j = 0; j < 3; ++j)\n+ for (int k = 0; k < 3; ++k)\n+\tif (m[i][j][k] != i + j + k)\n+\t throw 1;\n+}\n--- gcc/testsuite/g++.dg/reflect/define_static_object2.C.jj\t2026-03-27 10:17:16.120298331 +0100\n+++ gcc/testsuite/g++.dg/reflect/define_static_object2.C\t2026-04-10 16:09:20.261858550 +0200\n@@ -1,3 +1,5 @@\n+// LWG4483 - Multidimensional arrays are not supported by\n+// meta::reflect_constant_array and related functions.\n // { dg-do compile { target c++26 } }\n // { dg-additional-options \"-freflection\" }\n // Test std::define_static_object.\n@@ -5,14 +7,19 @@\n #include <meta>\n \n constexpr int arr[]{1, 2, 3};\n-// LWG4483 use extract(reflect_constant_array())\n-// constexpr const int(*ptr)[3] = std::define_static_object(arr);\n-// static_assert( *ptr == std::define_static_array(arr).data() );\n-// static_assert( ptr = &std::meta::constant_of(arr) );\n+constexpr const int (*ptr)[3] = std::define_static_object (arr);\n+static_assert (*ptr == std::define_static_array (arr).data ());\n+static_assert (ptr == &[: std::meta::constant_of (^^arr) :]);\n \n constexpr int marr[3][3]{1, 2, 3};\n-// LWG4483 array are not structural so this fail\n-// constexpr const int(*mptr)[3][3] = std::define_static_object(marr);\n-// static_assert( *mptr == std::define_static_array(marr).data() );\n-// static_assert( mptr = &std::meta::constant_of(marr) );\n+constexpr const int (*mptr)[3][3] = std::define_static_object (marr);\n+static_assert (*mptr == std::define_static_array (marr).data ());\n+static_assert (mptr == &[: std::meta::constant_of (^^marr) :]);\n \n+union U { int a; long long b; };\n+constexpr U u = { .a = 42 };\n+constexpr const U *up = std::define_static_object (u);\n+static_assert (up->a == 42);\n+constexpr U v = { .b = 43LL };\n+constexpr const U *vp = std::define_static_object (v);\n+static_assert (vp->b == 43LL);\n--- libstdc++-v3/include/std/meta.jj\t2026-04-08 07:49:13.477647992 +0200\n+++ libstdc++-v3/include/std/meta\t2026-04-10 15:57:25.423013150 +0200\n@@ -682,11 +682,16 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION\n define_static_object(_Tp&& __t)\n {\n using _Up = remove_cvref_t<_Tp>;\n- if constexpr (meta::is_class_type(^^_Up))\n+ if constexpr (meta::is_class_type(^^_Up) || meta::is_union_type(^^_Up))\n \t{\n \t auto __cst = meta::reflect_constant(std::forward<_Tp>(__t));\n \t return std::addressof(meta::extract<const _Up&>(__cst));\n \t}\n+ else if constexpr (meta::is_array_type(^^_Up))\n+\t{\n+\t auto __cst = meta::reflect_constant_array(std::forward<_Tp>(__t));\n+\t return std::addressof(meta::extract<const _Up&>(__cst));\n+\t}\n else\n \treturn std::define_static_array(span(std::addressof(__t), 1)).data();\n }\n", "prefixes": [] }