[gcc/devel/rust/master] Merge #1711

Thomas Schwinge tschwinge@gcc.gnu.org
Thu Jan 12 07:44:29 GMT 2023


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 <prajwalnadig21@gmail.com>

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(-)


More information about the Gcc-cvs mailing list