Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2223277/?format=api
{ "id": 2223277, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2223277/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-8-arthur.cohen@embecosm.com/", "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": "<20260414231905.191063-8-arthur.cohen@embecosm.com>", "date": "2026-04-14T23:18:29", "name": "[COMMITTED,08/43] gccrs: Improve unit struct matching", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "8517d3ef9042739731a26dfff1e8224b39cc4a54", "submitter": { "id": 83476, "url": "http://patchwork.ozlabs.org/api/1.1/people/83476/?format=api", "name": "Arthur Cohen", "email": "arthur.cohen@embecosm.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-8-arthur.cohen@embecosm.com/mbox/", "series": [ { "id": 499900, "url": "http://patchwork.ozlabs.org/api/1.1/series/499900/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=499900", "date": "2026-04-14T23:18:24", "name": "[COMMITTED,01/43] gccrs: testsuite:Add a testcase for setup_associated_types", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/499900/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2223277/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2223277/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 (2048-bit key;\n unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256\n header.s=google header.b=POmQMCeH;\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 (2048-bit key,\n unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256\n header.s=google header.b=POmQMCeH", "sourceware.org;\n dmarc=none (p=none dis=none) header.from=embecosm.com", "sourceware.org; spf=pass smtp.mailfrom=embecosm.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=209.85.128.65" ], "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 4fwKx51xpcz1yHc\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 09:19:37 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 4F81D4BA2E0D\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 14 Apr 2026 23:19:35 +0000 (GMT)", "from mail-wm1-f65.google.com (mail-wm1-f65.google.com\n [209.85.128.65])\n by sourceware.org (Postfix) with ESMTPS id 9497E4BA23D0\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 23:14:21 +0000 (GMT)", "by mail-wm1-f65.google.com with SMTP id\n 5b1f17b1804b1-4838c15e3cbso57684185e9.3\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 16:14:21 -0700 (PDT)", "from platypus.localdomain (176-147-231-59.abo.bbox.fr.\n [176.147.231.59]) by smtp.gmail.com with ESMTPSA id\n 5b1f17b1804b1-488f1dd8806sm3325945e9.3.2026.04.14.16.14.18\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Tue, 14 Apr 2026 16:14:19 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 4F81D4BA2E0D", "OpenDKIM Filter v2.11.0 sourceware.org 9497E4BA23D0" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 9497E4BA23D0", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 9497E4BA23D0", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776208461; cv=none;\n b=wvBrsZ0rd/3O8trBmzl+FOG8piujcs+GQ6/3qm775B93W/BkDxzDNtCYH992XNnnkOWTvqWgONiR7xqtKcZU+YQ/FCbLzxOsZqyQ9W0QnI+cbY/r3jc/hJAacfLkpz0iaDDKiLIiB2SvPd0tZi1qfbl9v4yAJvd8qNtOYGBRl5c=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776208461; c=relaxed/simple;\n bh=wWn1gtqWhyfyrr7dLO+FQ1Ja4uQtogF7IIc+TNlgSo4=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=AR2esjF4k/7jbKx7UwtANvNxcm/boxaAi23P6lWL4KwcekdkNcUAtqd+lJP7/zu4LEi55kZrcKF2L0TajACoOu9dBpu+4UWj3erzJFcdq2+l4hScWrW5mkVhAGQq5NDW+zpKYq4fyrFxVmuDYfhYh6qbnI5/7MHZfFyPFkl1Bpw=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=embecosm.com; s=google; t=1776208460; x=1776813260; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:from:to:cc:subject:date\n :message-id:reply-to;\n bh=Nio2eQll2n26N1i7Xf/DPDeZibqhZMuKPcvzJZ6qCbc=;\n b=POmQMCeHobpIrpvGf6H+nuEioqtVbTLvJtSaaTFR/yWheyYCh5KkvtzoZZK88pnyx9\n /qfbEUv/RjUTjk0Xsu7ncHg/XOR6nZbkFsb+jcwq8HzR7hdDQQbGmkGF2rE+/8tyOOaL\n fb3RzuXf2DGPh/c2/1cMgQFjT4PojEFwqTd8bFB0uZnmq36sIuh1r2VRk5QUTtHg2FU5\n 71Fa+zObMESv0g6hB0bnb7FWRi2gi9TYvcjXjfnGqiA3RjQgT59gnHx0imSzdM0vfjYR\n qpf527a1josDOZjVn3yUnCFBE+PUBA02psjr+j2ZnAg8ZS3P35Zt3TAsCyKpuM2p+Y2v\n HMVw==", "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776208460; x=1776813260;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=Nio2eQll2n26N1i7Xf/DPDeZibqhZMuKPcvzJZ6qCbc=;\n b=bbqZrsLUW0JJUdXryZZuj6K+NusQuD5qkndHWa+7qcuYjdyjicUseHxFTNoGpRUMGu\n 2NipZBgpLsgkcC5BgMOkg7JE+gInzTgHB7DFBaPiQS/aqa2Gn9A5j0gP7AeQjGuOF5UR\n vuK4EE1bk72Dz3m5s9KZbkMxj1xlBlbItn6cc5UfAD6Yx2Fj8S7UhhQX+gvk0Qs4zRY/\n EWmJnE/pX3sl7HRh6hvuxz7gPx87ggBmC1P2z0jXpgv2HmoQUPPNRWoy45dEwNaTQ9QF\n aoAnsOllpfwmiaNNaDj4pNUEk+X2frYs9XeG4QggUY1e9JcG8X851SPusBTafznsyXnZ\n t8QQ==", "X-Gm-Message-State": "AOJu0YymdpFbp/Cl94juHSKTLNlNFkQhf4J9TnRH3qdxsm/hpugiTpG2\n J+d9xhwq+jXVcY7KOBqvaPeNwuVqURWJ+HeUB+hcOCKCqULRr/W8zrfB82IlwU7Mn8cLYRS4odl\n 0HLUnUz0/", "X-Gm-Gg": "AeBDieuRdRdUFazp7mx+bjUB6iBG6gysrb1Vz2C8QI8X3QqaXzPKlJxz14zMiibNuSP\n 0+URlGQEYmSXpkDv1vkz8QYo0XRoVp/SlaMmOvM4s6cDhJe928OOU7eQQSl3gqFomMAXB/eDGUX\n 9QhgG7VYafSCQ/mnRq5uBfwIjXdMQkFYX8BogSP3PKGtUpnlSRcFUCZo0VQiQcgwJ59IYViWnxp\n vSufD9dpnwiYYwjMNr7Y4klUx4OTzzZywkEkWqFXAeK32R8h+fNTsvcTsXq1VYk7iKQIhx/U6Mi\n p2Ue3K+2x2ait8Hn+egvCUof9OX1c4rMNeSyG3J8Km1eFIPChvWVHQaxWqQ7riX6gusNVpt7MzM\n ggPY5xvL2HVGUAjo83teCLyx5fZCAh6zwHK4uQFLW7NsfN1la4REK3KLrJmMXPUHMJVl0QjogCw\n TykYxG/ENuCDGJNtZgilPtHgDyQjmHAV5yPIgDcj7iih42IWda0dGgzgdfQP2sN+JPv6WHFudkG\n hkhiw==", "X-Received": "by 2002:a05:600c:a109:b0:488:a977:8de with SMTP id\n 5b1f17b1804b1-488d6839866mr185088815e9.16.1776208460243;\n Tue, 14 Apr 2026 16:14:20 -0700 (PDT)", "From": "arthur.cohen@embecosm.com", "To": "gcc-patches@gcc.gnu.org", "Cc": "gcc-rust@gcc.gnu.org,\n\tOwen Avery <powerboat9.gamer@gmail.com>", "Subject": "[COMMITTED 08/43] gccrs: Improve unit struct matching", "Date": "Wed, 15 Apr 2026 01:18:29 +0200", "Message-ID": "<20260414231905.191063-8-arthur.cohen@embecosm.com>", "X-Mailer": "git-send-email 2.50.1", "In-Reply-To": "<20260414231905.191063-1-arthur.cohen@embecosm.com>", "References": "<20260414231905.191063-1-arthur.cohen@embecosm.com>", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "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>", "Errors-To": "gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org" }, "content": "From: Owen Avery <powerboat9.gamer@gmail.com>\n\nUnit structs weren't *actually* working in match statements -- we don't\ncurrently handle identifier pattern vs path pattern disambiguation.\n\ngcc/rust/ChangeLog:\n\n\t* checks/errors/rust-hir-pattern-analysis.cc\n\t(PlaceInfo::specialize): Handle VariantType::UNIT.\n\t(WitnessPat::to_string): Likewise.\n\t(WitnessMatrix::apply_constructor): Likewise.\n\t* typecheck/rust-hir-type-check-item.cc (TypeCheckItem::visit):\n\tConditionally create VariantType::UNIT variants.\n\t* typecheck/rust-hir-type-check-pattern.cc\n\t(TypeCheckPattern::visit): Fix typo, handle VariantType::UNIT.\n\t* typecheck/rust-tyty-variance-analysis.cc\n\t(GenericTyVisitorCtx::process_type): Handle VariantType::UNIT.\n\t* typecheck/rust-tyty.cc (BaseType::contains_infer): Likewise.\n\t(BaseType::is_concrete): Likewise.\n\t(VariantDef::variant_type_string): Likewise.\n\t(VariantDef::VariantDef): Likewise.\n\t* typecheck/rust-tyty.h (VariantDef::VariantType::UNIT): New\n\tenumerator.\n\ngcc/testsuite/ChangeLog:\n\n\t* rust/compile/match-struct-path.rs: Increase test coverage.\n\nSigned-off-by: Owen Avery <powerboat9.gamer@gmail.com>\n---\n gcc/rust/checks/errors/rust-hir-pattern-analysis.cc | 8 ++++++--\n gcc/rust/typecheck/rust-hir-type-check-item.cc | 6 ++++--\n gcc/rust/typecheck/rust-hir-type-check-pattern.cc | 6 ++++--\n gcc/rust/typecheck/rust-tyty-variance-analysis.cc | 3 ++-\n gcc/rust/typecheck/rust-tyty.cc | 13 ++++++++++---\n gcc/rust/typecheck/rust-tyty.h | 3 ++-\n gcc/testsuite/rust/compile/match-struct-path.rs | 6 ++++++\n 7 files changed, 34 insertions(+), 11 deletions(-)", "diff": "diff --git a/gcc/rust/checks/errors/rust-hir-pattern-analysis.cc b/gcc/rust/checks/errors/rust-hir-pattern-analysis.cc\nindex 431cd9bb891..b2a3e5e9774 100644\n--- a/gcc/rust/checks/errors/rust-hir-pattern-analysis.cc\n+++ b/gcc/rust/checks/errors/rust-hir-pattern-analysis.cc\n@@ -936,7 +936,9 @@ PlaceInfo::specialize (const Constructor &c) const\n \t TyTy::VariantDef *variant\n \t\t= adt->get_variants ().at (c.get_variant_index ());\n \t if (variant->get_variant_type ()\n-\t\t == TyTy::VariantDef::VariantType::NUM)\n+\t\t == TyTy::VariantDef::VariantType::NUM\n+\t\t || variant->get_variant_type ()\n+\t\t == TyTy::VariantDef::VariantType::UNIT)\n \t\treturn {};\n \n \t std::vector<PlaceInfo> new_place_infos;\n@@ -1050,6 +1052,7 @@ WitnessPat::to_string () const\n \n \tswitch (variant->get_variant_type ())\n \t {\n+\t case TyTy::VariantDef::VariantType::UNIT:\n \t case TyTy::VariantDef::VariantType::NUM:\n \t {\n \t return buf;\n@@ -1145,7 +1148,8 @@ WitnessMatrix::apply_constructor (const Constructor &ctor,\n \t TyTy::ADTType *adt = static_cast<TyTy::ADTType *> (ty);\n \t TyTy::VariantDef *variant\n \t = adt->get_variants ().at (ctor.get_variant_index ());\n-\t if (variant->get_variant_type () == TyTy::VariantDef::NUM)\n+\t if (variant->get_variant_type () == TyTy::VariantDef::NUM\n+\t\t|| variant->get_variant_type () == TyTy::VariantDef::UNIT)\n \t arity = 0;\n \t else\n \t arity = variant->get_fields ().size ();\ndiff --git a/gcc/rust/typecheck/rust-hir-type-check-item.cc b/gcc/rust/typecheck/rust-hir-type-check-item.cc\nindex 12ac3986567..f2a40c6c7df 100644\n--- a/gcc/rust/typecheck/rust-hir-type-check-item.cc\n+++ b/gcc/rust/typecheck/rust-hir-type-check-item.cc\n@@ -283,13 +283,15 @@ TypeCheckItem::visit (HIR::StructStruct &struct_decl)\n RustIdent ident{path, struct_decl.get_locus ()};\n \n // its a single variant ADT\n+ auto variant_type = struct_decl.is_unit_struct ()\n+\t\t\t? TyTy::VariantDef::VariantType::UNIT\n+\t\t\t: TyTy::VariantDef::VariantType::STRUCT;\n std::vector<TyTy::VariantDef *> variants;\n variants.push_back (\n new TyTy::VariantDef (struct_decl.get_mappings ().get_hirid (),\n \t\t\t struct_decl.get_mappings ().get_defid (),\n \t\t\t struct_decl.get_identifier ().as_string (), ident,\n-\t\t\t TyTy::VariantDef::VariantType::STRUCT, tl::nullopt,\n-\t\t\t std::move (fields)));\n+\t\t\t variant_type, tl::nullopt, std::move (fields)));\n \n // Process #[repr(X)] attribute, if any\n const AST::AttrVec &attrs = struct_decl.get_outer_attrs ();\ndiff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc\nindex 32b13714154..d6117c38f78 100644\n--- a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc\n+++ b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc\n@@ -73,7 +73,7 @@ TypeCheckPattern::visit (HIR::PathInExpression &pattern)\n HirId def_id = definition_id.value ();\n \n tl::optional<HIR::Item *> hir_item = mappings.lookup_hir_item (def_id);\n- // If the path refrerences an item, it must be constants or structs.\n+ // If the path references an item, it must be constants or structs.\n if (hir_item.has_value ())\n \t{\n \t HIR::Item *item = hir_item.value ();\n@@ -127,7 +127,9 @@ TypeCheckPattern::visit (HIR::PathInExpression &pattern)\n \t rust_assert (ok);\n \t}\n \n- if (variant->get_variant_type () != TyTy::VariantDef::VariantType::NUM)\n+ if (variant->get_variant_type () != TyTy::VariantDef::VariantType::NUM\n+\t && variant->get_variant_type ()\n+\t != TyTy::VariantDef::VariantType::UNIT)\n \t{\n \t std::string variant_type = TyTy::VariantDef::variant_type_string (\n \t variant->get_variant_type ());\ndiff --git a/gcc/rust/typecheck/rust-tyty-variance-analysis.cc b/gcc/rust/typecheck/rust-tyty-variance-analysis.cc\nindex d640d55d8c0..ca8e9f6b1a8 100644\n--- a/gcc/rust/typecheck/rust-tyty-variance-analysis.cc\n+++ b/gcc/rust/typecheck/rust-tyty-variance-analysis.cc\n@@ -241,7 +241,8 @@ GenericTyVisitorCtx::process_type (ADTType &ty)\n \n for (const auto &variant : ty.get_variants ())\n {\n- if (variant->get_variant_type () != VariantDef::NUM)\n+ if (variant->get_variant_type () != VariantDef::NUM\n+\t && variant->get_variant_type () != VariantDef::UNIT)\n \t{\n \t for (const auto &field : variant->get_fields ())\n \t add_constraints_from_ty (field->get_field_type (),\ndiff --git a/gcc/rust/typecheck/rust-tyty.cc b/gcc/rust/typecheck/rust-tyty.cc\nindex e27577e311d..69ee43c2750 100644\n--- a/gcc/rust/typecheck/rust-tyty.cc\n+++ b/gcc/rust/typecheck/rust-tyty.cc\n@@ -726,7 +726,9 @@ BaseType::contains_infer () const\n \t{\n \t bool is_num_variant\n \t = variant->get_variant_type () == VariantDef::VariantType::NUM;\n-\t if (is_num_variant)\n+\t bool is_unit_variant\n+\t = variant->get_variant_type () == VariantDef::VariantType::UNIT;\n+\t if (is_num_variant || is_unit_variant)\n \t continue;\n \n \t for (auto &field : variant->get_fields ())\n@@ -831,7 +833,9 @@ BaseType::is_concrete () const\n \t{\n \t bool is_num_variant\n \t = variant->get_variant_type () == VariantDef::VariantType::NUM;\n-\t if (is_num_variant)\n+\t bool is_unit_variant\n+\t = variant->get_variant_type () == VariantDef::VariantType::UNIT;\n+\t if (is_num_variant || is_unit_variant)\n \t continue;\n \n \t for (auto &field : variant->get_fields ())\n@@ -1508,6 +1512,8 @@ VariantDef::variant_type_string (VariantType type)\n return \"tuple\";\n case STRUCT:\n return \"struct\";\n+ case UNIT:\n+ return \"unit struct\";\n }\n rust_unreachable ();\n return \"\";\n@@ -1532,7 +1538,8 @@ VariantDef::VariantDef (HirId id, DefId defid, std::string identifier,\n discriminant (std::move (discriminant)), fields (fields)\n {\n rust_assert ((type == VariantType::NUM && fields.empty ())\n-\t || (type == VariantType::TUPLE || type == VariantType::STRUCT));\n+\t || (type == VariantType::UNIT && fields.empty ())\n+\t || type == VariantType::TUPLE || type == VariantType::STRUCT);\n }\n \n VariantDef &\ndiff --git a/gcc/rust/typecheck/rust-tyty.h b/gcc/rust/typecheck/rust-tyty.h\nindex 4072b2f0bcd..516f460e625 100644\n--- a/gcc/rust/typecheck/rust-tyty.h\n+++ b/gcc/rust/typecheck/rust-tyty.h\n@@ -828,7 +828,8 @@ public:\n {\n NUM,\n TUPLE,\n- STRUCT\n+ STRUCT,\n+ UNIT\n };\n \n static std::string variant_type_string (VariantType type);\ndiff --git a/gcc/testsuite/rust/compile/match-struct-path.rs b/gcc/testsuite/rust/compile/match-struct-path.rs\nindex 5664c21b421..bc2dd43a65d 100644\n--- a/gcc/testsuite/rust/compile/match-struct-path.rs\n+++ b/gcc/testsuite/rust/compile/match-struct-path.rs\n@@ -8,3 +8,9 @@ pub fn foo(v: S) {\n S => ()\n }\n }\n+\n+pub fn bar(v: S) {\n+ match v {\n+ crate::S => ()\n+ }\n+}\n", "prefixes": [ "COMMITTED", "08/43" ] }