From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id 82D60385B531; Thu, 12 Jan 2023 07:44:29 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 82D60385B531 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1673509469; bh=3/YCbZ2/6J8trD/q2PGXVwZu//RJb22YLJ28Fw+Qzbk=; h=From:To:Subject:Date:From; b=N89w1EzDNCIvMYDdnt+6/j+gSxtFbZExYMC9h3VYFql8Upzibmzfs/KAV31bb6gEr Gdn610Yd6/fvc9mvoZry1wQ54KrkTJuM91tjE0N91lL+DGdwMwkDipm+WXCScxLK81 r0Q0NYWVkiwegpevSX4IRVn2gnsOankzqyjDkqeg= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Thomas Schwinge To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/rust/master] Merge #1711 X-Act-Checkin: gcc X-Git-Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: fc72441e83fb9a0fafbcfe23060964f2cf3eee9f X-Git-Newrev: 68b0212c81a9c8187976eb27a932ee4bf65643a1 Message-Id: <20230112074429.82D60385B531@sourceware.org> Date: Thu, 12 Jan 2023 07:44:29 +0000 (GMT) List-Id: https://gcc.gnu.org/g:68b0212c81a9c8187976eb27a932ee4bf65643a1 commit 68b0212c81a9c8187976eb27a932ee4bf65643a1 Merge: fc72441e83f aa7698dca97 Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> Date: Thu Jan 5 15:17:27 2023 +0000 Merge #1711 1711: unsafe: check use of `target_feature` attribute r=CohenArthur a=snprajwal The `target_feature` attribute is for conditional compilation and may or may not compile on all platforms. Using it requires an unsafe function or block. Addresses #1411 Co-authored-by: Prajwal S N Diff: gcc/rust/checks/errors/rust-unsafe-checker.cc | 29 ++++++++++++++++++++++++++- gcc/rust/checks/errors/rust-unsafe-checker.h | 5 +++++ gcc/rust/util/rust-attributes.cc | 3 +++ gcc/testsuite/rust/compile/unsafe11.rs | 8 ++++++++ 4 files changed, 44 insertions(+), 1 deletion(-)