Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2223298/?format=api
{ "id": 2223298, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2223298/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-30-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-30-arthur.cohen@embecosm.com>", "date": "2026-04-14T23:18:51", "name": "[COMMITTED,30/43] gccrs: Move attribute checker to it's own file", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "e7b562b9b8b93d25e5be563b5daaac3f132a99f4", "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-30-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/2223298/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2223298/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=NwVGPdaD;\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=NwVGPdaD", "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 4fwL7k0nnWz1yCv\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 09:28:50 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 1EFF34BA2E0A\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 14 Apr 2026 23:28:48 +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 93ED74BA2E04\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 23:14:56 +0000 (GMT)", "by mail-wm1-f65.google.com with SMTP id\n 5b1f17b1804b1-4887f49ec5aso74608395e9.1\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 16:14:56 -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.53\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Tue, 14 Apr 2026 16:14:53 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 1EFF34BA2E0A", "OpenDKIM Filter v2.11.0 sourceware.org 93ED74BA2E04" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 93ED74BA2E04", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 93ED74BA2E04", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776208496; cv=none;\n b=qYOCtbjdluw0qB9m10KLxoIlzmOflCxoswUWiERsLJshg/DNovUy0MZnY/B7HlN97FaM5oKjS9JRESHcOOVsJUcmT2+cqA5b//JWf9E5x+RoX8/NDdqYoRusUDqHA7lu2tRnQ3YuvnnXZK6y+v6usIb+x+T8ppCmoSGyXLjMHV4=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776208496; c=relaxed/simple;\n bh=r3m6hYteAZKFBm3zNOLQlzJXaFWfmy/oSpCBJ9Y5sqA=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=Ia3eT45wXLvih1QEQqjp28mMFdRnFpx4kd0sBJLa8xxy4GQUdzgP3t8MygkHyNmfRkvLkj4pu+VTlxrQL3DAIQ0wM0ULCTDUC9uuX7gE6W64gDrl0ArbdUkCIpv4JHaUlAXZv5xF+aCZ28tR7IvL6OeoE4sNTuh8YHMfjV7ypEk=", "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=1776208495; x=1776813295; 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=vilKz9VU9j7RH0WEX6hssEABEsHtfoCTevP6oTHJNX8=;\n b=NwVGPdaDlJ4UEqsMsebfLjGl/fwob0dBIBeDBtYoLwGjW10nRYpL/25LFN1s/9yDfR\n 0aHccGonZagZElyqpXWakbFDiWVf77JzBF1A7U/qfZ/QoSFx1Cd/HTaR0q51sfgn/9xe\n TwfLW1IosnhVArKMGfAvQ1WRnJZya1jiAo3Hh0JgYAlt5fP1F/jG8PiQP+583YpR5z8i\n eRyP0t9OXU7rKcJeoR6fUsfVqGYe58t+rL7WYAhrvjtHGTGsTL6qmiskw9TIqTWSu04t\n d1m0wSG9LPL2U0XEOpPawW1EG6nRzqm9yFavAguCJqqAGA+cLtclJurQxO/pWjnwtz3e\n CvrQ==", "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776208495; x=1776813295;\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=vilKz9VU9j7RH0WEX6hssEABEsHtfoCTevP6oTHJNX8=;\n b=OLZIihVrf5FWgQyQ3CF3zrQbNxNLmGGRWOYwDD2E0rcJGi52lS2ahI58UL0QkADUfc\n HgGdlB9eAqcsIxUDqSvIKvGTjvUnZ4X/1Kdirnf5ohbMNtX0daIYpYGW0bBC6gxRjuty\n CskKrcSrpyj0wBkBSdQ0PTb+29a3lYzExSgpktLb9U3qwwtJHsD2NOFVNpalmTPbmHsi\n pb8VcNVXifKXJbTxkPPiXvG3Cc7QK+J3utw0RfnNwLYRVvMIz4HJIPNpngGwZ839zNI0\n YEQB/1jXeTfnOuqVcbVPhKHkhlLIJt60ZDA31pwxK05sSQ/THD/GoG3X+cHTp+SNqbbu\n ZbTg==", "X-Gm-Message-State": "AOJu0Yx/2OIbGV/p5uXG4dUMerm6DMp/vBTJgBoPuwU4LZXOZSKB2JRD\n LRu/RacaO4WkH6fqMxyOkKCWLywV7mrBg3xfo7YL6SqybObv0cAf2zXAtiMRbiD3EFHJzXC9mOL\n W2Y4Lw21O", "X-Gm-Gg": "AeBDieuzp+P3cE1ZD6RXLB1/4ee2KRn8B2RjFRaILZPhhZjX0bu6Fd3OBYDzWkuZkom\n imlTZh38SX4D6/7/uq3tubk/kgyhJKOrWKGScGYMX4pK5WbP0nNdWuK8jdvNGEOz3Bh36RQIiVw\n CB8CmLzIkI/iZCN6zKZTSYdy3LaQNGOzdv42S8KvHchaxtiKbgkJRAnLsSGmMFrmwXBDTuEfxJ2\n ozosD7jsVeEoNbuHqykFWBZQVhjN+Lp3KHNH3dUn8zD+0fhsq6t9fW5c8VVnjx35SbXkUaUKun9\n UOpoqJwylnNKcCy95DrhwxjK2DCVqXbIRaXfhRxmeDJmG6JCk0KUFIvvTwofO9xc7jQ9vwA374b\n HuOXw6HCU5gGpw4oqKj//bk0vDSKtg/veQ3RpPqqBCNRFRzY9cyfSLWFlL07c/Ck9SNbZZv3+Lf\n HKRyQuBAppF+DCedG7duDFjaY2tPC0evf1aDlNmWcxpcnZKl+R1yx9sBFZ/OBebHamfaALAuaLO\n Bf4pMuH+fr9cuBR", "X-Received": "by 2002:a05:600c:4e45:b0:488:9439:881a with SMTP id\n 5b1f17b1804b1-488d67bf6f6mr286902165e9.2.1776208494955;\n Tue, 14 Apr 2026 16:14:54 -0700 (PDT)", "From": "arthur.cohen@embecosm.com", "To": "gcc-patches@gcc.gnu.org", "Cc": "gcc-rust@gcc.gnu.org,\n Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>", "Subject": "[COMMITTED 30/43] gccrs: Move attribute checker to it's own file", "Date": "Wed, 15 Apr 2026 01:18:51 +0200", "Message-ID": "<20260414231905.191063-30-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: 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---\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 fc11abf1f1c..878613f7044 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 00000000000..4580aa25614\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 00000000000..f9aff48c616\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 4765e630d35..e0564f2a407 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 364ca081142..9872cc0e764 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 f03fa90d9c0..39339f27c93 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 3e5aea815e8..778cc9e33db 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": [ "COMMITTED", "30/43" ] }