From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7905) id B0E3D385B539; Tue, 31 Jan 2023 13:14:36 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B0E3D385B539 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675170876; bh=01IrIkWFSRiVTfrar5bb+mK+FV37b/OS3mypBcVW5HY=; h=From:To:Subject:Date:From; b=My/CuJolBQcAH3gJgLDlnzmiN8ZI3k7VfZkfOhYGSBfcQoCWrlvzliprPfMLeclLA mLMm0MTfxyNPBpHEnpuiGo3xp2HACoAgzAKOq607/fDSE4qR0pyjryE2dJMDWcrwx6 CfZhN2Qp0+KFHi30UObK5d9/kihtXFn/4vDM/3no= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Arthur Cohen To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5538] gccrs: rustc_attrs: Allow `rustc_inherit_overflow_checks` as a builtin.. X-Act-Checkin: gcc X-Git-Author: Arthur Cohen X-Git-Refname: refs/heads/master X-Git-Oldrev: 9c87dc0afe059ce54280dd81ff773f910a6dffdf X-Git-Newrev: 3a3a352091b74916c5ad3177e0df9d624d746cac Message-Id: <20230131131436.B0E3D385B539@sourceware.org> Date: Tue, 31 Jan 2023 13:14:36 +0000 (GMT) List-Id: https://gcc.gnu.org/g:3a3a352091b74916c5ad3177e0df9d624d746cac commit r13-5538-g3a3a352091b74916c5ad3177e0df9d624d746cac Author: Arthur Cohen Date: Fri Aug 26 14:06:23 2022 +0200 gccrs: rustc_attrs: Allow `rustc_inherit_overflow_checks` as a builtin.. ..attribute. We cannot yet handle this attribute, but we should not reject it either gcc/rust/ChangeLog: * util/rust-attributes.cc: Add `rustc_inherit_overflow_checks` to list of builtin attributes. gcc/testsuite/ChangeLog: * rust/compile/rustc_attr1.rs: New test. Diff: --- gcc/rust/util/rust-attributes.cc | 32 ++++++++++++++++--------------- gcc/testsuite/rust/compile/rustc_attr1.rs | 13 +++++++++++++ 2 files changed, 30 insertions(+), 15 deletions(-) diff --git a/gcc/rust/util/rust-attributes.cc b/gcc/rust/util/rust-attributes.cc index 2cefdb247d1..9db77b40dfb 100644 --- a/gcc/rust/util/rust-attributes.cc +++ b/gcc/rust/util/rust-attributes.cc @@ -26,21 +26,23 @@ namespace Rust { namespace Analysis { // https://doc.rust-lang.org/stable/nightly-rustc/src/rustc_feature/builtin_attrs.rs.html#248 -static const BuiltinAttrDefinition __definitions[] = { - {"inline", CODE_GENERATION}, - {"cold", CODE_GENERATION}, - {"cfg", EXPANSION}, - {"cfg_attr", EXPANSION}, - {"deprecated", STATIC_ANALYSIS}, - {"allow", STATIC_ANALYSIS}, - {"doc", HIR_LOWERING}, - {"must_use", STATIC_ANALYSIS}, - {"lang", HIR_LOWERING}, - {"link_section", CODE_GENERATION}, - {"no_mangle", CODE_GENERATION}, - {"repr", CODE_GENERATION}, - {"path", EXPANSION}, -}; +static const BuiltinAttrDefinition __definitions[] + = {{"inline", CODE_GENERATION}, + {"cold", CODE_GENERATION}, + {"cfg", EXPANSION}, + {"cfg_attr", EXPANSION}, + {"deprecated", STATIC_ANALYSIS}, + {"allow", STATIC_ANALYSIS}, + {"doc", HIR_LOWERING}, + {"must_use", STATIC_ANALYSIS}, + {"lang", HIR_LOWERING}, + {"link_section", CODE_GENERATION}, + {"no_mangle", CODE_GENERATION}, + {"repr", CODE_GENERATION}, + {"path", EXPANSION}, + // From now on, these are reserved by the compiler and gated through + // #![feature(rustc_attrs)] + {"rustc_inherit_overflow_checks", CODE_GENERATION}}; BuiltinAttributeMappings * BuiltinAttributeMappings::get () diff --git a/gcc/testsuite/rust/compile/rustc_attr1.rs b/gcc/testsuite/rust/compile/rustc_attr1.rs new file mode 100644 index 00000000000..4bc7d5e3553 --- /dev/null +++ b/gcc/testsuite/rust/compile/rustc_attr1.rs @@ -0,0 +1,13 @@ +// { dg-additional-options "-w" } + +#![feature(rustc_attrs)] + +pub struct NotI8(i8); + +impl NotI8 { + #[inline] + #[rustc_inherit_overflow_checks] + pub fn add(self, other: NotI8) -> NotI8 { + NotI8(self.0 + other.0) + } +}