Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/patches/2218023/?format=api
{ "id": 2218023, "url": "http://patchwork.ozlabs.org/api/patches/2218023/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260331094037.3408-10-gerris.rs@gmail.com/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/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, "list_archive_url": "", "list_archive_url_format": "", "commit_url_format": "" }, "msgid": "<20260331094037.3408-10-gerris.rs@gmail.com>", "list_archive_url": null, "date": "2026-03-31T09:40:36", "name": "[gccrs,COMMIT,10/10] Move attribute checker to it's own file", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "e7b562b9b8b93d25e5be563b5daaac3f132a99f4", "submitter": { "id": 92092, "url": "http://patchwork.ozlabs.org/api/people/92092/?format=api", "name": null, "email": "gerris.rs@gmail.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260331094037.3408-10-gerris.rs@gmail.com/mbox/", "series": [ { "id": 498158, "url": "http://patchwork.ozlabs.org/api/series/498158/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=498158", "date": "2026-03-31T09:40:27", "name": "[gccrs,COMMIT,01/10] Remove AttrInputMacro attribute input kind", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/498158/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2218023/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2218023/checks/", "tags": {}, "related": [], "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=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=MFYKbJU2;\n\tdkim-atps=neutral", "legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.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=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=MFYKbJU2", "sourceware.org;\n dmarc=pass (p=none dis=none) header.from=gmail.com", "sourceware.org; spf=pass smtp.mailfrom=gmail.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=74.125.82.177" ], "Received": [ "from vm01.sourceware.org (vm01.sourceware.org [38.145.34.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 4flNf46W8rz1xtJ\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 31 Mar 2026 20:50:36 +1100 (AEDT)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 06D344BA2E09\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 31 Mar 2026 09:50:35 +0000 (GMT)", "from mail-dy1-f177.google.com (mail-dy1-f177.google.com\n [74.125.82.177])\n by sourceware.org (Postfix) with ESMTPS id 4FCD74B7A1F4\n for <gcc-patches@gcc.gnu.org>; Tue, 31 Mar 2026 09:40:54 +0000 (GMT)", "by mail-dy1-f177.google.com with SMTP id\n 5a478bee46e88-2c88992d77dso97510eec.1\n for <gcc-patches@gcc.gnu.org>; Tue, 31 Mar 2026 02:40:54 -0700 (PDT)", "from\n runnervmrg6be.i0fnop2thlderixbsj2qpy22md.yx.internal.cloudapp.net\n ([57.151.128.242]) by smtp.gmail.com with ESMTPSA id\n 5a478bee46e88-2c3c796d895sm9175510eec.28.2026.03.31.02.40.50\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Tue, 31 Mar 2026 02:40:51 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 06D344BA2E09", "OpenDKIM Filter v2.11.0 sourceware.org 4FCD74B7A1F4" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 4FCD74B7A1F4", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 4FCD74B7A1F4", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1774950059; cv=none;\n b=gZIXqe1pHcgWv+5VnQma+AmWBrbsgJACXrqSH0u4kQMva32SgjeBctEKK7KsiPjtuasgoO9D7fIBP+WmaY7yUi+7h1ijK+V/zLTblDDKowZYDJ/ha4IyYysUgkoYUMNqtBwTYc5Tv0/bLXp+YUYn/tdFb0aAwqBc8uvvF+A8adc=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1774950059; c=relaxed/simple;\n bh=zoEtTclC7+t3yfK7x45uttC8EOPvQTIjj7VEAbn1m6M=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=PBpuFpbLhMLg5/qRRUAyRwOKa2NHwQ8ie7mSzyIpGSTj0En8ObzRPj9D0+pmgIaGxrtNfsVwUVcXdHTEZtIwfVe562YbnM9ImzIB8X5soIG/bR1j88eVGIFO67ERlyTYSXwkmNvqFVyZReyQApq5m+j5vS2fNQk2GXthbzVvdTs=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=gmail.com; s=20251104; t=1774950053; x=1775554853; 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=bK/l2gknI/Qxf/NV1l3viMbWrPVLcbXCHV78LRnb+bk=;\n b=MFYKbJU2LUmp/66y8a0HrFFYbtFfuIGBxlBey7/DHVUC8SqgrvyHIfnCGQmUdGJnew\n PNaeLr/EpLl3+D8oCiS2WLiZBShUlDchhXoCtndtMyCrxdEJYqr5q4Un0Ofngl2XOVW8\n jOy0OeXrtaZioYwfdG6AdD3tJTJSlCog2NjWjl4FdVt2vQKOZpsVITKM9tAF0chW7p+Z\n ElniJf6ulTxbjc057MhYEdeKeWpur14hR/WN+VnYRP2BmeCxw6vAw6YY7GjSlRmpTQvo\n PNa/VpAhZY1dp/++SvgkS8ax3PLrQHPZGKSSwlIePQmHBICc2QGN9TUtDVi7HJ+ZtLl9\n xf5A==", "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1774950053; x=1775554853;\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=bK/l2gknI/Qxf/NV1l3viMbWrPVLcbXCHV78LRnb+bk=;\n b=PkPzs4U9UK99Oj3Q2h4RQ/qfO351QNqRO/tVWw5Z5pFPQt3GLIcJ9B3zWkQCbCxI1Z\n 0PIxsU9rUiAblFDq4d6Vx6cCYbsarEwdBiE4apkKzTKxWpPWlM/GLxRoESb8TN0DNG/Q\n mcmG5u8EM3s8ilaW8A1lCt845UyCQdLkvMa9Truj+kOqArqMRAJkaPrP2G/WCzpcOWvs\n zLdMafTYMN3neb+wtOlFQMfE05OFfwib/9BLgd9n0F3b595YZd2jux+fcyhyZvjHfQOf\n 4fbiBwc2h/a8Aq3wg8hSa2CjmpBZKdrf2OYfokodESlv+PsqA37xlLeTZxodkvEj/nuX\n UUbg==", "X-Gm-Message-State": "AOJu0Ywl1jzctWTJH8nQLPNMAvnvhwRNXQt0A7IFqAwLFEEoq0syJZkg\n GsTqazH0W420vKVph50UyEgKPdHWQUMsvFHx3AMgMsCog5dMrUzMXZvcT+QcXw==", "X-Gm-Gg": "ATEYQzy4kWkI8WRVPhGnnIR3AgS190s6APdbWTEtk9f/RO0XLTUr2rIiqred3JJv5QG\n lyRtDHuqrS0yoFGt18DMO0OZ6GoqOe0qvh/xIaAJJbd3Bda6glUemT8rAtNQq9Ozg884mHMgIL1\n kqTYJcIAEciEHWo6kmix+CmczRt6h1KVDIta9FPA4am6U7ufm9xgqeSAWGxupaHHOu1SuFlc+O2\n rsDkYguafQY2fmCwVZKwxX1HGZEpDWlzZbqbbjt2TbKiYzQ/KSbjVmwVsxmuuIMkUxwlFH38Vrx\n lmASut+Y3YLj6eA0Xqd2mHTvVHfZrR2xkjP0IO9FWqqJ7E2eT12+FcbQ2qo7B6NJZxjtHMHaRuK\n YecoCMYddm95dKyzMIGI+zklYAo/tCg6vyA2q8LXVrl4gXATlAnVz2jHXE4VEFi95NSiBJ0z/DV\n W0tLs7zvqWnIsX52O/jvEcUpFQlT6ESaCOCMAApycGL18CgfXwPUCHN/LEMCGKnKj6bYvwH6bMj\n HyipsHql0t+WRzPNID4cxQ=", "X-Received": "by 2002:a05:7301:1298:b0:2ba:9cc4:aebb with SMTP id\n 5a478bee46e88-2c7bbd6dff5mr1244586eec.10.1774950052988;\n Tue, 31 Mar 2026 02:40:52 -0700 (PDT)", "From": "gerris.rs@gmail.com", "To": "gcc-patches@gcc.gnu.org,\n\tgcc-rust@gcc.gnu.org", "Cc": "pierre-emmanuel.patry@embecosm.com, arthur.cohen@embecosm.com,\n dkm+gccrs@kataplop.net", "Subject": "[gccrs COMMIT 10/10] Move attribute checker to it's own file", "Date": "Tue, 31 Mar 2026 09:40:36 +0000", "Message-ID": "<20260331094037.3408-10-gerris.rs@gmail.com>", "X-Mailer": "git-send-email 2.43.0", "In-Reply-To": "<20260331094037.3408-1-gerris.rs@gmail.com>", "References": "<20260331094037.3408-1-gerris.rs@gmail.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: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>\n\nBoth attribute utility and attribute checker (pre-expansion) were mixed\nwithin the same file/translation unit. Splitting them apart will allow\na shorter header to include and make both file easier to navigate.\n\ngcc/rust/ChangeLog:\n\n\t* Make-lang.in: Add a new rust-attribute-checker file.\n\t* checks/errors/rust-builtin-attribute-checker.h (check_valid_attribute_for_item):\n\tChange BuiltinAttributeChecker doc comment.\n\t* rust-session-manager.cc: Include the new rust-attribute-checker\n\theader.\n\t* util/rust-attributes.cc (AttributeChecker::AttributeChecker): Move to\n\trust-attribute-checker.cc.\n\t(AttributeChecker::go): Likewise.\n\t(is_proc_macro_type): Likewise.\n\t(check_proc_macro_non_function): Likewise.\n\t(check_proc_macro_non_root): Likewise.\n\t(AttributeChecker::visit): Likewise.\n\t* util/rust-attributes.h (class AttributeChecker): Move to\n\trust-attribute-checker.h.\n\t* checks/errors/rust-attribute-checker.cc: New file.\n\t* checks/errors/rust-attribute-checker.h: New file.\n\nSigned-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>\n---\nThis change was merged into the gccrs repository and is posted here for\nupstream visibility and potential drive-by review, as requested by GCC\nrelease managers.\nEach commit email contains a link to its details on github from where you can\nfind the Pull-Request and associated discussions.\n\n\nCommit on github: https://github.com/Rust-GCC/gccrs/commit/1dd416791aafc60d40feae798945ab67775d34ab\n\nThe commit has been mentioned in the following pull-request(s):\n - https://github.com/Rust-GCC/gccrs/pull/4505\n\n gcc/rust/Make-lang.in | 1 +\n .../checks/errors/rust-attribute-checker.cc | 773 ++++++++++++++++++\n .../checks/errors/rust-attribute-checker.h | 224 +++++\n .../errors/rust-builtin-attribute-checker.h | 12 +\n gcc/rust/rust-session-manager.cc | 1 +\n gcc/rust/util/rust-attributes.cc | 747 -----------------\n gcc/rust/util/rust-attributes.h | 195 +----\n 7 files changed, 1012 insertions(+), 941 deletions(-)\n create mode 100644 gcc/rust/checks/errors/rust-attribute-checker.cc\n create mode 100644 gcc/rust/checks/errors/rust-attribute-checker.h", "diff": "diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.in\nindex fc11abf1f..878613f70 100644\n--- a/gcc/rust/Make-lang.in\n+++ b/gcc/rust/Make-lang.in\n@@ -126,6 +126,7 @@ GRS_OBJS = \\\n rust/rust-hir.o \\\n rust/rust-hir-map.o \\\n rust/rust-attributes.o \\\n+ rust/rust-attribute-checker.o \\\n rust/rust-builtin-attribute-checker.o \\\n rust/rust-keyword-values.o \\\n rust/rust-abi.o \\\ndiff --git a/gcc/rust/checks/errors/rust-attribute-checker.cc b/gcc/rust/checks/errors/rust-attribute-checker.cc\nnew file mode 100644\nindex 000000000..4580aa256\n--- /dev/null\n+++ b/gcc/rust/checks/errors/rust-attribute-checker.cc\n@@ -0,0 +1,773 @@\n+// Copyright (C) 2026 Free Software Foundation, Inc.\n+\n+// This file is part of GCC.\n+\n+// GCC is free software; you can redistribute it and/or modify it under\n+// the terms of the GNU General Public License as published by the Free\n+// Software Foundation; either version 3, or (at your option) any later\n+// version.\n+\n+// GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n+// WARRANTY; without even the implied warranty of MERCHANTABILITY or\n+// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License\n+// for more details.\n+\n+// You should have received a copy of the GNU General Public License\n+// along with GCC; see the file COPYING3. If not see\n+// <http://www.gnu.org/licenses/>.\n+\n+#include \"rust-attribute-checker.h\"\n+#include \"rust-attributes.h\"\n+#include \"rust-attribute-values.h\"\n+#include \"rust-diagnostics.h\"\n+#include \"rust-session-manager.h\"\n+\n+namespace Rust {\n+namespace Analysis {\n+\n+using Attrs = Values::Attributes;\n+\n+static bool\n+is_proc_macro_type (const AST::Attribute &attribute)\n+{\n+ auto result_opt = lookup_builtin (attribute);\n+ if (!result_opt.has_value ())\n+ return false;\n+ auto result = result_opt.value ();\n+\n+ auto name = result.name;\n+ return name == Attrs::PROC_MACRO || name == Attrs::PROC_MACRO_DERIVE\n+\t || name == Attrs::PROC_MACRO_ATTRIBUTE;\n+}\n+\n+// Emit an error when one encountered attribute is either #[proc_macro],\n+// #[proc_macro_attribute] or #[proc_macro_derive]\n+static void\n+check_proc_macro_non_function (const AST::Attribute &attr)\n+{\n+ if (is_proc_macro_type (attr))\n+ rust_error_at (attr.get_locus (),\n+\t\t \"the %<#[%s]%> attribute may only be used on bare functions\",\n+\t\t attr.get_path ().get_segments ()[0].as_string ().c_str ());\n+}\n+\n+// Emit an error when one attribute is either proc_macro, proc_macro_attribute\n+// or proc_macro_derive\n+static void\n+check_proc_macro_non_root (const AST::Attribute &attr, location_t loc)\n+{\n+ if (is_proc_macro_type (attr))\n+ {\n+ rust_error_at (\n+\tloc,\n+\t\"functions tagged with %<#[%s]%> must currently \"\n+\t\"reside in the root of the crate\",\n+\tattr.get_path ().get_segments ().at (0).as_string ().c_str ());\n+ }\n+}\n+\n+AttributeChecker::AttributeChecker () {}\n+\n+void\n+AttributeChecker::go (AST::Crate &crate)\n+{\n+ visit (crate);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Attribute &attribute)\n+{\n+ auto &session = Session::get_instance ();\n+ if (attribute.get_path () == Values::Attributes::CFG_ATTR)\n+ {\n+ if (!attribute.is_parsed_to_meta_item ())\n+\tattribute.parse_attr_to_meta_item ();\n+ if (!attribute.check_cfg_predicate (session))\n+\treturn; // Do not emit errors for attribute that'll get stripped.\n+ }\n+\n+ AST::DefaultASTVisitor::visit (attribute);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Token &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::DelimTokenTree &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IdentifierExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Lifetime &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LifetimeParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ConstGenericParam &)\n+{}\n+\n+// rust-path.h\n+void\n+AttributeChecker::visit (AST::PathInExpression &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePathSegment &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePathSegmentGeneric &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePathSegmentFunction &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::QualifiedPathInExpression &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::QualifiedPathInType &)\n+{}\n+\n+// rust-expr.h\n+void\n+AttributeChecker::visit (AST::LiteralExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AttrInputLiteral &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaItemLitExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaItemPathExpr &attribute)\n+{\n+ if (!attribute.get_expr ().is_literal ())\n+ {\n+ rust_error_at (attribute.get_expr ().get_locus (),\n+\t\t \"malformed %<path%> attribute input\");\n+ rust_inform (attribute.get_expr ().get_locus (),\n+\t\t \"must be of the form: %<#[path = \\\"file\\\"]%>\");\n+ }\n+}\n+\n+void\n+AttributeChecker::visit (AST::BorrowExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::DereferenceExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ErrorPropagationExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::NegationExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArithmeticOrLogicalExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ComparisonExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LazyBooleanExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypeCastExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AssignmentExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::CompoundAssignmentExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::GroupedExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayElemsValues &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayElemsCopied &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayIndexExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleIndexExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprStruct &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprFieldIdentifier &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprFieldIdentifierValue &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprFieldIndexValue &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprStructFields &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprStructBase &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::CallExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MethodCallExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::FieldAccessExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ClosureExprInner &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::BlockExpr &expr)\n+{\n+ for (auto &stmt : expr.get_statements ())\n+ {\n+ if (stmt->get_stmt_kind () == AST::Stmt::Kind::Item)\n+\t{\n+\t // Non owning pointer, let it go out of scope\n+\t auto item = static_cast<AST::Item *> (stmt.get ());\n+\t for (auto &attr : item->get_outer_attrs ())\n+\t check_proc_macro_non_root (attr, item->get_locus ());\n+\t}\n+ }\n+ AST::DefaultASTVisitor::visit (expr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ClosureExprInnerTyped &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ContinueExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::BreakExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFromToExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFromExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeToExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFullExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFromToInclExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeToInclExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ReturnExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::WhileLoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::WhileLetLoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ForLoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfExprConseqElse &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfLetExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfLetExprConseqElse &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MatchExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AwaitExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AsyncBlockExpr &)\n+{}\n+\n+// rust-item.h\n+void\n+AttributeChecker::visit (AST::TypeParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LifetimeWhereClauseItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypeBoundWhereClauseItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Module &module)\n+{\n+ for (auto &attr : module.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+\n+ for (auto &item : module.get_items ())\n+ for (auto &attr : item->get_outer_attrs ())\n+ check_proc_macro_non_root (attr, item->get_locus ());\n+\n+ AST::DefaultASTVisitor::visit (module);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ExternCrate &crate)\n+{\n+ for (auto &attr : crate.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::UseTreeGlob &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::UseTreeList &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::UseTreeRebind &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::UseDeclaration &declaration)\n+{\n+ for (auto &attr : declaration.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Function &fun)\n+{\n+ if (fun.has_body ())\n+ fun.get_definition ().value ()->accept_vis (*this);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TypeAlias &alias)\n+{\n+ for (auto &attr : alias.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::StructStruct &struct_item)\n+{\n+ for (auto &attr : struct_item.get_outer_attrs ())\n+ {\n+ check_proc_macro_non_function (attr);\n+ }\n+\n+ AST::DefaultASTVisitor::visit (struct_item);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TupleStruct &tuplestruct)\n+{\n+ for (auto &attr : tuplestruct.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::EnumItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::EnumItemTuple &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::EnumItemStruct &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::EnumItemDiscriminant &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Enum &enumeration)\n+{\n+ for (auto &attr : enumeration.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Union &u)\n+{\n+ for (auto &attr : u.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ConstantItem &item)\n+{\n+ for (auto &attr : item.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::StaticItem &item)\n+{\n+ for (auto &attr : item.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TraitItemType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Trait &trait)\n+{\n+ for (auto &attr : trait.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+\n+ AST::DefaultASTVisitor::visit (trait);\n+}\n+\n+void\n+AttributeChecker::visit (AST::InherentImpl &impl)\n+{\n+ for (auto &attr : impl.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+\n+ AST::DefaultASTVisitor::visit (impl);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TraitImpl &impl)\n+{\n+ for (auto &attr : impl.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+\n+ AST::DefaultASTVisitor::visit (impl);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ExternalTypeItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ExternalStaticItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ExternBlock &block)\n+{\n+ for (auto &attr : block.get_outer_attrs ())\n+ check_proc_macro_non_function (attr);\n+}\n+\n+// rust-macro.h\n+void\n+AttributeChecker::visit (AST::MacroMatchFragment &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroMatchRepetition &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroMatcher &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroRulesDefinition &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroInvocation &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaItemPath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaWord &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaNameValueStr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaListPaths &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaListNameValueStr &)\n+{}\n+\n+// rust-pattern.h\n+void\n+AttributeChecker::visit (AST::LiteralPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IdentifierPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::WildcardPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RestPattern &)\n+{}\n+\n+// void AttributeChecker::visit(RangePatternBound& ){}\n+\n+void\n+AttributeChecker::visit (AST::RangePatternBoundLiteral &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangePatternBoundPath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangePatternBoundQualPath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangePattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ReferencePattern &)\n+{}\n+\n+// void AttributeChecker::visit(StructPatternField& ){}\n+\n+void\n+AttributeChecker::visit (AST::StructPatternFieldTuplePat &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructPatternFieldIdentPat &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructPatternFieldIdent &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructPattern &)\n+{}\n+\n+// void AttributeChecker::visit(TupleStructItems& ){}\n+\n+void\n+AttributeChecker::visit (AST::TupleStructItemsNoRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleStructItemsHasRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleStructPattern &)\n+{}\n+\n+// void AttributeChecker::visit(TuplePatternItems& ){}\n+\n+void\n+AttributeChecker::visit (AST::TuplePatternItemsNoRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TuplePatternItemsHasRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TuplePattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::GroupedPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::SlicePattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AltPattern &)\n+{}\n+\n+// rust-stmt.h\n+void\n+AttributeChecker::visit (AST::EmptyStmt &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LetStmt &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ExprStmt &)\n+{}\n+\n+// rust-type.h\n+void\n+AttributeChecker::visit (AST::TraitBound &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ImplTraitType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TraitObjectType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ParenthesisedType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ImplTraitTypeOneBound &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TraitObjectTypeOneBound &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::NeverType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RawPointerType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ReferenceType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::SliceType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::InferredType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::BareFunctionType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::SelfParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::VariadicParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::FunctionParam &)\n+{}\n+\n+} // namespace Analysis\n+} // namespace Rust\ndiff --git a/gcc/rust/checks/errors/rust-attribute-checker.h b/gcc/rust/checks/errors/rust-attribute-checker.h\nnew file mode 100644\nindex 000000000..f9aff48c6\n--- /dev/null\n+++ b/gcc/rust/checks/errors/rust-attribute-checker.h\n@@ -0,0 +1,224 @@\n+// Copyright (C) 2026 Free Software Foundation, Inc.\n+\n+// This file is part of GCC.\n+\n+// GCC is free software; you can redistribute it and/or modify it under\n+// the terms of the GNU General Public License as published by the Free\n+// Software Foundation; either version 3, or (at your option) any later\n+// version.\n+\n+// GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n+// WARRANTY; without even the implied warranty of MERCHANTABILITY or\n+// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License\n+// for more details.\n+\n+// You should have received a copy of the GNU General Public License\n+// along with GCC; see the file COPYING3. If not see\n+// <http://www.gnu.org/licenses/>.\n+\n+#ifndef RUST_ATTRIBUTE_CHECKER_H\n+#define RUST_ATTRIBUTE_CHECKER_H\n+\n+#include \"rust-ast-visitor.h\"\n+\n+namespace Rust {\n+namespace Analysis {\n+\n+/**\n+ * Checks the validity of various pre-expansion attributes.\n+ * The goal of this visitor is to make sure that attributes that are used for\n+ * macro expansion are applied in allowed contexts and correctly used.\n+ *\n+ * Examples:\n+ * - A proc macro derive attribute `#[derive(Something)]`shall not be used on a\n+ * function.\n+ */\n+class AttributeChecker : public AST::DefaultASTVisitor\n+{\n+public:\n+ AttributeChecker ();\n+\n+ /**\n+ * Check all the attributes of all the items of a crate\n+ */\n+ void go (AST::Crate &crate);\n+\n+private:\n+ using AST::DefaultASTVisitor::visit;\n+\n+ /* Check the validity of an inner attribute */\n+ void check_inner_attribute (const AST::Attribute &attribute);\n+\n+ /* Check the validity of a given attribute */\n+ // rust-ast.h\n+ void visit (AST::Attribute &attribute) override;\n+ void visit (AST::Token &tok) override;\n+ void visit (AST::DelimTokenTree &delim_tok_tree) override;\n+ void visit (AST::IdentifierExpr &ident_expr) override;\n+ void visit (AST::Lifetime &lifetime) override;\n+ void visit (AST::LifetimeParam &lifetime_param) override;\n+ void visit (AST::ConstGenericParam &const_param) override;\n+\n+ // rust-path.h\n+ void visit (AST::PathInExpression &path) override;\n+ void visit (AST::TypePathSegment &segment) override;\n+ void visit (AST::TypePathSegmentGeneric &segment) override;\n+ void visit (AST::TypePathSegmentFunction &segment) override;\n+ void visit (AST::TypePath &path) override;\n+ void visit (AST::QualifiedPathInExpression &path) override;\n+ void visit (AST::QualifiedPathInType &path) override;\n+\n+ // rust-expr.h\n+ void visit (AST::LiteralExpr &expr) override;\n+ void visit (AST::AttrInputLiteral &attr_input) override;\n+ void visit (AST::MetaItemLitExpr &meta_item) override;\n+ void visit (AST::MetaItemPathExpr &meta_item) override;\n+ void visit (AST::BorrowExpr &expr) override;\n+ void visit (AST::DereferenceExpr &expr) override;\n+ void visit (AST::ErrorPropagationExpr &expr) override;\n+ void visit (AST::NegationExpr &expr) override;\n+ void visit (AST::ArithmeticOrLogicalExpr &expr) override;\n+ void visit (AST::ComparisonExpr &expr) override;\n+ void visit (AST::LazyBooleanExpr &expr) override;\n+ void visit (AST::TypeCastExpr &expr) override;\n+ void visit (AST::AssignmentExpr &expr) override;\n+ void visit (AST::CompoundAssignmentExpr &expr) override;\n+ void visit (AST::GroupedExpr &expr) override;\n+ void visit (AST::ArrayElemsValues &elems) override;\n+ void visit (AST::ArrayElemsCopied &elems) override;\n+ void visit (AST::ArrayExpr &expr) override;\n+ void visit (AST::ArrayIndexExpr &expr) override;\n+ void visit (AST::TupleExpr &expr) override;\n+ void visit (AST::TupleIndexExpr &expr) override;\n+ void visit (AST::StructExprStruct &expr) override;\n+ void visit (AST::StructExprFieldIdentifier &field) override;\n+ void visit (AST::StructExprFieldIdentifierValue &field) override;\n+ void visit (AST::StructExprFieldIndexValue &field) override;\n+ void visit (AST::StructExprStructFields &expr) override;\n+ void visit (AST::StructExprStructBase &expr) override;\n+ void visit (AST::CallExpr &expr) override;\n+ void visit (AST::MethodCallExpr &expr) override;\n+ void visit (AST::FieldAccessExpr &expr) override;\n+ void visit (AST::ClosureExprInner &expr) override;\n+ void visit (AST::BlockExpr &expr) override;\n+ void visit (AST::ClosureExprInnerTyped &expr) override;\n+ void visit (AST::ContinueExpr &expr) override;\n+ void visit (AST::BreakExpr &expr) override;\n+ void visit (AST::RangeFromToExpr &expr) override;\n+ void visit (AST::RangeFromExpr &expr) override;\n+ void visit (AST::RangeToExpr &expr) override;\n+ void visit (AST::RangeFullExpr &expr) override;\n+ void visit (AST::RangeFromToInclExpr &expr) override;\n+ void visit (AST::RangeToInclExpr &expr) override;\n+ void visit (AST::ReturnExpr &expr) override;\n+ void visit (AST::LoopExpr &expr) override;\n+ void visit (AST::WhileLoopExpr &expr) override;\n+ void visit (AST::WhileLetLoopExpr &expr) override;\n+ void visit (AST::ForLoopExpr &expr) override;\n+ void visit (AST::IfExpr &expr) override;\n+ void visit (AST::IfExprConseqElse &expr) override;\n+ void visit (AST::IfLetExpr &expr) override;\n+ void visit (AST::IfLetExprConseqElse &expr) override;\n+ void visit (AST::MatchExpr &expr) override;\n+ void visit (AST::AwaitExpr &expr) override;\n+ void visit (AST::AsyncBlockExpr &expr) override;\n+\n+ // rust-item.h\n+ void visit (AST::TypeParam ¶m) override;\n+ void visit (AST::LifetimeWhereClauseItem &item) override;\n+ void visit (AST::TypeBoundWhereClauseItem &item) override;\n+ void visit (AST::Module &module) override;\n+ void visit (AST::ExternCrate &crate) override;\n+ void visit (AST::UseTreeGlob &use_tree) override;\n+ void visit (AST::UseTreeList &use_tree) override;\n+ void visit (AST::UseTreeRebind &use_tree) override;\n+ void visit (AST::UseDeclaration &use_decl) override;\n+ void visit (AST::Function &function) override;\n+ void visit (AST::TypeAlias &type_alias) override;\n+ void visit (AST::StructStruct &struct_item) override;\n+ void visit (AST::TupleStruct &tuple_struct) override;\n+ void visit (AST::EnumItem &item) override;\n+ void visit (AST::EnumItemTuple &item) override;\n+ void visit (AST::EnumItemStruct &item) override;\n+ void visit (AST::EnumItemDiscriminant &item) override;\n+ void visit (AST::Enum &enum_item) override;\n+ void visit (AST::Union &union_item) override;\n+ void visit (AST::ConstantItem &const_item) override;\n+ void visit (AST::StaticItem &static_item) override;\n+ void visit (AST::TraitItemType &item) override;\n+ void visit (AST::Trait &trait) override;\n+ void visit (AST::InherentImpl &impl) override;\n+ void visit (AST::TraitImpl &impl) override;\n+ void visit (AST::ExternalTypeItem &item) override;\n+ void visit (AST::ExternalStaticItem &item) override;\n+ void visit (AST::ExternBlock &block) override;\n+\n+ // rust-macro.h\n+ void visit (AST::MacroMatchFragment &match) override;\n+ void visit (AST::MacroMatchRepetition &match) override;\n+ void visit (AST::MacroMatcher &matcher) override;\n+ void visit (AST::MacroRulesDefinition &rules_def) override;\n+ void visit (AST::MacroInvocation ¯o_invoc) override;\n+ void visit (AST::MetaItemPath &meta_item) override;\n+ void visit (AST::MetaWord &meta_item) override;\n+ void visit (AST::MetaNameValueStr &meta_item) override;\n+ void visit (AST::MetaListPaths &meta_item) override;\n+ void visit (AST::MetaListNameValueStr &meta_item) override;\n+\n+ // rust-pattern.h\n+ void visit (AST::LiteralPattern &pattern) override;\n+ void visit (AST::IdentifierPattern &pattern) override;\n+ void visit (AST::WildcardPattern &pattern) override;\n+ void visit (AST::RestPattern &pattern) override;\n+ // void visit(RangePatternBound& bound) override;\n+ void visit (AST::RangePatternBoundLiteral &bound) override;\n+ void visit (AST::RangePatternBoundPath &bound) override;\n+ void visit (AST::RangePatternBoundQualPath &bound) override;\n+ void visit (AST::RangePattern &pattern) override;\n+ void visit (AST::ReferencePattern &pattern) override;\n+ // void visit(StructPatternField& field) override;\n+ void visit (AST::StructPatternFieldTuplePat &field) override;\n+ void visit (AST::StructPatternFieldIdentPat &field) override;\n+ void visit (AST::StructPatternFieldIdent &field) override;\n+ void visit (AST::StructPattern &pattern) override;\n+ // void visit(TupleStructItems& tuple_items) override;\n+ void visit (AST::TupleStructItemsNoRest &tuple_items) override;\n+ void visit (AST::TupleStructItemsHasRest &tuple_items) override;\n+ void visit (AST::TupleStructPattern &pattern) override;\n+ // void visit(TuplePatternItems& tuple_items) override;\n+ void visit (AST::TuplePatternItemsNoRest &tuple_items) override;\n+ void visit (AST::TuplePatternItemsHasRest &tuple_items) override;\n+ void visit (AST::TuplePattern &pattern) override;\n+ void visit (AST::GroupedPattern &pattern) override;\n+ void visit (AST::SlicePattern &pattern) override;\n+ void visit (AST::AltPattern &pattern) override;\n+\n+ // rust-stmt.h\n+ void visit (AST::EmptyStmt &stmt) override;\n+ void visit (AST::LetStmt &stmt) override;\n+ void visit (AST::ExprStmt &stmt) override;\n+\n+ // rust-type.h\n+ void visit (AST::TraitBound &bound) override;\n+ void visit (AST::ImplTraitType &type) override;\n+ void visit (AST::TraitObjectType &type) override;\n+ void visit (AST::ParenthesisedType &type) override;\n+ void visit (AST::ImplTraitTypeOneBound &type) override;\n+ void visit (AST::TraitObjectTypeOneBound &type) override;\n+ void visit (AST::TupleType &type) override;\n+ void visit (AST::NeverType &type) override;\n+ void visit (AST::RawPointerType &type) override;\n+ void visit (AST::ReferenceType &type) override;\n+ void visit (AST::ArrayType &type) override;\n+ void visit (AST::SliceType &type) override;\n+ void visit (AST::InferredType &type) override;\n+ void visit (AST::BareFunctionType &type) override;\n+ void visit (AST::FunctionParam ¶m) override;\n+ void visit (AST::VariadicParam ¶m) override;\n+ void visit (AST::SelfParam ¶m) override;\n+};\n+\n+} // namespace Analysis\n+} // namespace Rust\n+\n+#endif /* ! RUST_ATTRIBUTE_CHECKER_H */\ndiff --git a/gcc/rust/checks/errors/rust-builtin-attribute-checker.h b/gcc/rust/checks/errors/rust-builtin-attribute-checker.h\nindex 4765e630d..e0564f2a4 100644\n--- a/gcc/rust/checks/errors/rust-builtin-attribute-checker.h\n+++ b/gcc/rust/checks/errors/rust-builtin-attribute-checker.h\n@@ -27,6 +27,18 @@ namespace Analysis {\n void check_valid_attribute_for_item (const AST::Attribute &attr,\n \t\t\t\t const AST::Item &item);\n \n+/**\n+ * Checks the validity of builtin attributes.\n+ *\n+ * The goal of this visitor is to make sure that builtin attributes are\n+ * correctly used by enforcing those rules:\n+ *\n+ * - Attributes are applied in allowed contexts, for example to make sure that\n+ * #[inline] is only applied to functions and closures, as well as checking the\n+ * \"arguments\"\n+ *\n+ * - input given to these attributes is appropriate and valid.\n+ */\n class BuiltinAttributeChecker : public AST::DefaultASTVisitor\n {\n using AST::DefaultASTVisitor::visit;\ndiff --git a/gcc/rust/rust-session-manager.cc b/gcc/rust/rust-session-manager.cc\nindex 364ca0811..9872cc0e7 100644\n--- a/gcc/rust/rust-session-manager.cc\n+++ b/gcc/rust/rust-session-manager.cc\n@@ -60,6 +60,7 @@\n #include \"rust-borrow-checker.h\"\n #include \"rust-ast-validation.h\"\n #include \"rust-tyty-variance-analysis.h\"\n+#include \"rust-attribute-checker.h\"\n #include \"rust-builtin-attribute-checker.h\"\n \n #include \"input.h\"\ndiff --git a/gcc/rust/util/rust-attributes.cc b/gcc/rust/util/rust-attributes.cc\nindex f03fa90d9..39339f27c 100644\n--- a/gcc/rust/util/rust-attributes.cc\n+++ b/gcc/rust/util/rust-attributes.cc\n@@ -16,14 +16,9 @@\n // along with GCC; see the file COPYING3. If not see\n // <http://www.gnu.org/licenses/>.\n \n-#include \"rust-ast-visitor.h\"\n-#include \"rust-system.h\"\n-#include \"rust-session-manager.h\"\n #include \"rust-attributes.h\"\n #include \"rust-ast.h\"\n #include \"rust-ast-full.h\"\n-#include \"rust-diagnostics.h\"\n-#include \"rust-unicode.h\"\n #include \"rust-attribute-values.h\"\n \n namespace Rust {\n@@ -186,14 +181,6 @@ BuiltinAttributeMappings::BuiltinAttributeMappings ()\n }\n }\n \n-AttributeChecker::AttributeChecker () {}\n-\n-void\n-AttributeChecker::go (AST::Crate &crate)\n-{\n- visit (crate);\n-}\n-\n tl::optional<BuiltinAttrDefinition>\n lookup_builtin (const AST::Attribute &attribute)\n {\n@@ -209,739 +196,5 @@ lookup_builtin (const AST::Attribute &attribute)\n segments.at (0).get_segment_name ());\n }\n \n-static bool\n-is_proc_macro_type (const AST::Attribute &attribute)\n-{\n- auto result_opt = lookup_builtin (attribute);\n- if (!result_opt.has_value ())\n- return false;\n- auto result = result_opt.value ();\n-\n- auto name = result.name;\n- return name == Attrs::PROC_MACRO || name == Attrs::PROC_MACRO_DERIVE\n-\t || name == Attrs::PROC_MACRO_ATTRIBUTE;\n-}\n-\n-// Emit an error when one encountered attribute is either #[proc_macro],\n-// #[proc_macro_attribute] or #[proc_macro_derive]\n-static void\n-check_proc_macro_non_function (const AST::Attribute &attr)\n-{\n- if (is_proc_macro_type (attr))\n- rust_error_at (attr.get_locus (),\n-\t\t \"the %<#[%s]%> attribute may only be used on bare functions\",\n-\t\t attr.get_path ().get_segments ()[0].as_string ().c_str ());\n-}\n-\n-// Emit an error when one attribute is either proc_macro, proc_macro_attribute\n-// or proc_macro_derive\n-static void\n-check_proc_macro_non_root (const AST::Attribute &attr, location_t loc)\n-{\n- if (is_proc_macro_type (attr))\n- {\n- rust_error_at (\n-\tloc,\n-\t\"functions tagged with %<#[%s]%> must currently \"\n-\t\"reside in the root of the crate\",\n-\tattr.get_path ().get_segments ().at (0).as_string ().c_str ());\n- }\n-}\n-\n-void\n-AttributeChecker::visit (AST::Attribute &attribute)\n-{\n- auto &session = Session::get_instance ();\n- if (attribute.get_path () == Values::Attributes::CFG_ATTR)\n- {\n- if (!attribute.is_parsed_to_meta_item ())\n-\tattribute.parse_attr_to_meta_item ();\n- if (!attribute.check_cfg_predicate (session))\n-\treturn; // Do not emit errors for attribute that'll get stripped.\n- }\n-\n- AST::DefaultASTVisitor::visit (attribute);\n-}\n-\n-void\n-AttributeChecker::visit (AST::Token &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::DelimTokenTree &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IdentifierExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Lifetime &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LifetimeParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ConstGenericParam &)\n-{}\n-\n-// rust-path.h\n-void\n-AttributeChecker::visit (AST::PathInExpression &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePathSegment &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePathSegmentGeneric &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePathSegmentFunction &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::QualifiedPathInExpression &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::QualifiedPathInType &)\n-{}\n-\n-// rust-expr.h\n-void\n-AttributeChecker::visit (AST::LiteralExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AttrInputLiteral &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaItemLitExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaItemPathExpr &attribute)\n-{\n- if (!attribute.get_expr ().is_literal ())\n- {\n- rust_error_at (attribute.get_expr ().get_locus (),\n-\t\t \"malformed %<path%> attribute input\");\n- rust_inform (attribute.get_expr ().get_locus (),\n-\t\t \"must be of the form: %<#[path = \\\"file\\\"]%>\");\n- }\n-}\n-\n-void\n-AttributeChecker::visit (AST::BorrowExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::DereferenceExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ErrorPropagationExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::NegationExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArithmeticOrLogicalExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ComparisonExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LazyBooleanExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypeCastExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AssignmentExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::CompoundAssignmentExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::GroupedExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayElemsValues &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayElemsCopied &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayIndexExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleIndexExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprStruct &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprFieldIdentifier &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprFieldIdentifierValue &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprFieldIndexValue &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprStructFields &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprStructBase &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::CallExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MethodCallExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::FieldAccessExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ClosureExprInner &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::BlockExpr &expr)\n-{\n- for (auto &stmt : expr.get_statements ())\n- {\n- if (stmt->get_stmt_kind () == AST::Stmt::Kind::Item)\n-\t{\n-\t // Non owning pointer, let it go out of scope\n-\t auto item = static_cast<AST::Item *> (stmt.get ());\n-\t for (auto &attr : item->get_outer_attrs ())\n-\t check_proc_macro_non_root (attr, item->get_locus ());\n-\t}\n- }\n- AST::DefaultASTVisitor::visit (expr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ClosureExprInnerTyped &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ContinueExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::BreakExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFromToExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFromExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeToExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFullExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFromToInclExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeToInclExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ReturnExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::WhileLoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::WhileLetLoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ForLoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfExprConseqElse &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfLetExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfLetExprConseqElse &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MatchExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AwaitExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AsyncBlockExpr &)\n-{}\n-\n-// rust-item.h\n-void\n-AttributeChecker::visit (AST::TypeParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LifetimeWhereClauseItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypeBoundWhereClauseItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Module &module)\n-{\n- for (auto &attr : module.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-\n- for (auto &item : module.get_items ())\n- for (auto &attr : item->get_outer_attrs ())\n- check_proc_macro_non_root (attr, item->get_locus ());\n-\n- AST::DefaultASTVisitor::visit (module);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ExternCrate &crate)\n-{\n- for (auto &attr : crate.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::UseTreeGlob &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::UseTreeList &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::UseTreeRebind &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::UseDeclaration &declaration)\n-{\n- for (auto &attr : declaration.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::Function &fun)\n-{\n- if (fun.has_body ())\n- fun.get_definition ().value ()->accept_vis (*this);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TypeAlias &alias)\n-{\n- for (auto &attr : alias.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::StructStruct &struct_item)\n-{\n- for (auto &attr : struct_item.get_outer_attrs ())\n- {\n- check_proc_macro_non_function (attr);\n- }\n-\n- AST::DefaultASTVisitor::visit (struct_item);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TupleStruct &tuplestruct)\n-{\n- for (auto &attr : tuplestruct.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::EnumItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::EnumItemTuple &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::EnumItemStruct &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::EnumItemDiscriminant &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Enum &enumeration)\n-{\n- for (auto &attr : enumeration.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::Union &u)\n-{\n- for (auto &attr : u.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ConstantItem &item)\n-{\n- for (auto &attr : item.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::StaticItem &item)\n-{\n- for (auto &attr : item.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TraitItemType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Trait &trait)\n-{\n- for (auto &attr : trait.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-\n- AST::DefaultASTVisitor::visit (trait);\n-}\n-\n-void\n-AttributeChecker::visit (AST::InherentImpl &impl)\n-{\n- for (auto &attr : impl.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-\n- AST::DefaultASTVisitor::visit (impl);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TraitImpl &impl)\n-{\n- for (auto &attr : impl.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-\n- AST::DefaultASTVisitor::visit (impl);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ExternalTypeItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ExternalStaticItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ExternBlock &block)\n-{\n- for (auto &attr : block.get_outer_attrs ())\n- check_proc_macro_non_function (attr);\n-}\n-\n-// rust-macro.h\n-void\n-AttributeChecker::visit (AST::MacroMatchFragment &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroMatchRepetition &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroMatcher &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroRulesDefinition &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroInvocation &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaItemPath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaWord &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaNameValueStr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaListPaths &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaListNameValueStr &)\n-{}\n-\n-// rust-pattern.h\n-void\n-AttributeChecker::visit (AST::LiteralPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IdentifierPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::WildcardPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RestPattern &)\n-{}\n-\n-// void AttributeChecker::visit(RangePatternBound& ){}\n-\n-void\n-AttributeChecker::visit (AST::RangePatternBoundLiteral &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangePatternBoundPath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangePatternBoundQualPath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangePattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ReferencePattern &)\n-{}\n-\n-// void AttributeChecker::visit(StructPatternField& ){}\n-\n-void\n-AttributeChecker::visit (AST::StructPatternFieldTuplePat &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructPatternFieldIdentPat &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructPatternFieldIdent &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructPattern &)\n-{}\n-\n-// void AttributeChecker::visit(TupleStructItems& ){}\n-\n-void\n-AttributeChecker::visit (AST::TupleStructItemsNoRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleStructItemsHasRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleStructPattern &)\n-{}\n-\n-// void AttributeChecker::visit(TuplePatternItems& ){}\n-\n-void\n-AttributeChecker::visit (AST::TuplePatternItemsNoRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TuplePatternItemsHasRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TuplePattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::GroupedPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::SlicePattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AltPattern &)\n-{}\n-\n-// rust-stmt.h\n-void\n-AttributeChecker::visit (AST::EmptyStmt &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LetStmt &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ExprStmt &)\n-{}\n-\n-// rust-type.h\n-void\n-AttributeChecker::visit (AST::TraitBound &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ImplTraitType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TraitObjectType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ParenthesisedType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ImplTraitTypeOneBound &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TraitObjectTypeOneBound &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::NeverType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RawPointerType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ReferenceType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::SliceType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::InferredType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::BareFunctionType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::SelfParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::VariadicParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::FunctionParam &)\n-{}\n-\n } // namespace Analysis\n } // namespace Rust\ndiff --git a/gcc/rust/util/rust-attributes.h b/gcc/rust/util/rust-attributes.h\nindex 3e5aea815..778cc9e33 100644\n--- a/gcc/rust/util/rust-attributes.h\n+++ b/gcc/rust/util/rust-attributes.h\n@@ -19,8 +19,7 @@\n #define RUST_ATTRIBUTES_H\n \n #include \"rust-ast.h\"\n-#include \"rust-system.h\"\n-#include \"rust-ast-visitor.h\"\n+#include \"optional.h\"\n \n namespace Rust {\n namespace Analysis {\n@@ -84,198 +83,6 @@ private:\n std::map<std::string, const BuiltinAttrDefinition> mappings;\n };\n \n-/**\n- * Checks the validity of various attributes. The goal of this visitor is to\n- * make sure that attributes are applied in allowed contexts, for example to\n- * make sure that #[inline] is only applied to functions and closures, as well\n- * as checking the \"arguments\" or input given to these attributes, making sure\n- * it is appropriate and valid.\n- */\n-class AttributeChecker : public AST::DefaultASTVisitor\n-{\n-public:\n- AttributeChecker ();\n-\n- /**\n- * Check all the attributes of all the items of a crate\n- */\n- void go (AST::Crate &crate);\n-\n-private:\n- using AST::DefaultASTVisitor::visit;\n-\n- /* Check the validity of an inner attribute */\n- void check_inner_attribute (const AST::Attribute &attribute);\n- /* Check the validity of a given attribute */\n-\n- // rust-ast.h\n- void visit (AST::Attribute &attribute) override;\n- void visit (AST::Token &tok) override;\n- void visit (AST::DelimTokenTree &delim_tok_tree) override;\n- void visit (AST::IdentifierExpr &ident_expr) override;\n- void visit (AST::Lifetime &lifetime) override;\n- void visit (AST::LifetimeParam &lifetime_param) override;\n- void visit (AST::ConstGenericParam &const_param) override;\n-\n- // rust-path.h\n- void visit (AST::PathInExpression &path) override;\n- void visit (AST::TypePathSegment &segment) override;\n- void visit (AST::TypePathSegmentGeneric &segment) override;\n- void visit (AST::TypePathSegmentFunction &segment) override;\n- void visit (AST::TypePath &path) override;\n- void visit (AST::QualifiedPathInExpression &path) override;\n- void visit (AST::QualifiedPathInType &path) override;\n-\n- // rust-expr.h\n- void visit (AST::LiteralExpr &expr) override;\n- void visit (AST::AttrInputLiteral &attr_input) override;\n- void visit (AST::MetaItemLitExpr &meta_item) override;\n- void visit (AST::MetaItemPathExpr &meta_item) override;\n- void visit (AST::BorrowExpr &expr) override;\n- void visit (AST::DereferenceExpr &expr) override;\n- void visit (AST::ErrorPropagationExpr &expr) override;\n- void visit (AST::NegationExpr &expr) override;\n- void visit (AST::ArithmeticOrLogicalExpr &expr) override;\n- void visit (AST::ComparisonExpr &expr) override;\n- void visit (AST::LazyBooleanExpr &expr) override;\n- void visit (AST::TypeCastExpr &expr) override;\n- void visit (AST::AssignmentExpr &expr) override;\n- void visit (AST::CompoundAssignmentExpr &expr) override;\n- void visit (AST::GroupedExpr &expr) override;\n- void visit (AST::ArrayElemsValues &elems) override;\n- void visit (AST::ArrayElemsCopied &elems) override;\n- void visit (AST::ArrayExpr &expr) override;\n- void visit (AST::ArrayIndexExpr &expr) override;\n- void visit (AST::TupleExpr &expr) override;\n- void visit (AST::TupleIndexExpr &expr) override;\n- void visit (AST::StructExprStruct &expr) override;\n- void visit (AST::StructExprFieldIdentifier &field) override;\n- void visit (AST::StructExprFieldIdentifierValue &field) override;\n- void visit (AST::StructExprFieldIndexValue &field) override;\n- void visit (AST::StructExprStructFields &expr) override;\n- void visit (AST::StructExprStructBase &expr) override;\n- void visit (AST::CallExpr &expr) override;\n- void visit (AST::MethodCallExpr &expr) override;\n- void visit (AST::FieldAccessExpr &expr) override;\n- void visit (AST::ClosureExprInner &expr) override;\n- void visit (AST::BlockExpr &expr) override;\n- void visit (AST::ClosureExprInnerTyped &expr) override;\n- void visit (AST::ContinueExpr &expr) override;\n- void visit (AST::BreakExpr &expr) override;\n- void visit (AST::RangeFromToExpr &expr) override;\n- void visit (AST::RangeFromExpr &expr) override;\n- void visit (AST::RangeToExpr &expr) override;\n- void visit (AST::RangeFullExpr &expr) override;\n- void visit (AST::RangeFromToInclExpr &expr) override;\n- void visit (AST::RangeToInclExpr &expr) override;\n- void visit (AST::ReturnExpr &expr) override;\n- void visit (AST::LoopExpr &expr) override;\n- void visit (AST::WhileLoopExpr &expr) override;\n- void visit (AST::WhileLetLoopExpr &expr) override;\n- void visit (AST::ForLoopExpr &expr) override;\n- void visit (AST::IfExpr &expr) override;\n- void visit (AST::IfExprConseqElse &expr) override;\n- void visit (AST::IfLetExpr &expr) override;\n- void visit (AST::IfLetExprConseqElse &expr) override;\n- void visit (AST::MatchExpr &expr) override;\n- void visit (AST::AwaitExpr &expr) override;\n- void visit (AST::AsyncBlockExpr &expr) override;\n-\n- // rust-item.h\n- void visit (AST::TypeParam ¶m) override;\n- void visit (AST::LifetimeWhereClauseItem &item) override;\n- void visit (AST::TypeBoundWhereClauseItem &item) override;\n- void visit (AST::Module &module) override;\n- void visit (AST::ExternCrate &crate) override;\n- void visit (AST::UseTreeGlob &use_tree) override;\n- void visit (AST::UseTreeList &use_tree) override;\n- void visit (AST::UseTreeRebind &use_tree) override;\n- void visit (AST::UseDeclaration &use_decl) override;\n- void visit (AST::Function &function) override;\n- void visit (AST::TypeAlias &type_alias) override;\n- void visit (AST::StructStruct &struct_item) override;\n- void visit (AST::TupleStruct &tuple_struct) override;\n- void visit (AST::EnumItem &item) override;\n- void visit (AST::EnumItemTuple &item) override;\n- void visit (AST::EnumItemStruct &item) override;\n- void visit (AST::EnumItemDiscriminant &item) override;\n- void visit (AST::Enum &enum_item) override;\n- void visit (AST::Union &union_item) override;\n- void visit (AST::ConstantItem &const_item) override;\n- void visit (AST::StaticItem &static_item) override;\n- void visit (AST::TraitItemType &item) override;\n- void visit (AST::Trait &trait) override;\n- void visit (AST::InherentImpl &impl) override;\n- void visit (AST::TraitImpl &impl) override;\n- void visit (AST::ExternalTypeItem &item) override;\n- void visit (AST::ExternalStaticItem &item) override;\n- void visit (AST::ExternBlock &block) override;\n-\n- // rust-macro.h\n- void visit (AST::MacroMatchFragment &match) override;\n- void visit (AST::MacroMatchRepetition &match) override;\n- void visit (AST::MacroMatcher &matcher) override;\n- void visit (AST::MacroRulesDefinition &rules_def) override;\n- void visit (AST::MacroInvocation ¯o_invoc) override;\n- void visit (AST::MetaItemPath &meta_item) override;\n- void visit (AST::MetaWord &meta_item) override;\n- void visit (AST::MetaNameValueStr &meta_item) override;\n- void visit (AST::MetaListPaths &meta_item) override;\n- void visit (AST::MetaListNameValueStr &meta_item) override;\n-\n- // rust-pattern.h\n- void visit (AST::LiteralPattern &pattern) override;\n- void visit (AST::IdentifierPattern &pattern) override;\n- void visit (AST::WildcardPattern &pattern) override;\n- void visit (AST::RestPattern &pattern) override;\n- // void visit(RangePatternBound& bound) override;\n- void visit (AST::RangePatternBoundLiteral &bound) override;\n- void visit (AST::RangePatternBoundPath &bound) override;\n- void visit (AST::RangePatternBoundQualPath &bound) override;\n- void visit (AST::RangePattern &pattern) override;\n- void visit (AST::ReferencePattern &pattern) override;\n- // void visit(StructPatternField& field) override;\n- void visit (AST::StructPatternFieldTuplePat &field) override;\n- void visit (AST::StructPatternFieldIdentPat &field) override;\n- void visit (AST::StructPatternFieldIdent &field) override;\n- void visit (AST::StructPattern &pattern) override;\n- // void visit(TupleStructItems& tuple_items) override;\n- void visit (AST::TupleStructItemsNoRest &tuple_items) override;\n- void visit (AST::TupleStructItemsHasRest &tuple_items) override;\n- void visit (AST::TupleStructPattern &pattern) override;\n- // void visit(TuplePatternItems& tuple_items) override;\n- void visit (AST::TuplePatternItemsNoRest &tuple_items) override;\n- void visit (AST::TuplePatternItemsHasRest &tuple_items) override;\n- void visit (AST::TuplePattern &pattern) override;\n- void visit (AST::GroupedPattern &pattern) override;\n- void visit (AST::SlicePattern &pattern) override;\n- void visit (AST::AltPattern &pattern) override;\n-\n- // rust-stmt.h\n- void visit (AST::EmptyStmt &stmt) override;\n- void visit (AST::LetStmt &stmt) override;\n- void visit (AST::ExprStmt &stmt) override;\n-\n- // rust-type.h\n- void visit (AST::TraitBound &bound) override;\n- void visit (AST::ImplTraitType &type) override;\n- void visit (AST::TraitObjectType &type) override;\n- void visit (AST::ParenthesisedType &type) override;\n- void visit (AST::ImplTraitTypeOneBound &type) override;\n- void visit (AST::TraitObjectTypeOneBound &type) override;\n- void visit (AST::TupleType &type) override;\n- void visit (AST::NeverType &type) override;\n- void visit (AST::RawPointerType &type) override;\n- void visit (AST::ReferenceType &type) override;\n- void visit (AST::ArrayType &type) override;\n- void visit (AST::SliceType &type) override;\n- void visit (AST::InferredType &type) override;\n- void visit (AST::BareFunctionType &type) override;\n- void visit (AST::FunctionParam ¶m) override;\n- void visit (AST::VariadicParam ¶m) override;\n- void visit (AST::SelfParam ¶m) override;\n-};\n-\n tl::optional<BuiltinAttrDefinition>\n lookup_builtin (const AST::Attribute &attribute);\n \n", "prefixes": [ "gccrs", "COMMIT", "10/10" ] }