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

[Thomas Schwinge]

https://gcc.gnu.org/g:8809ee8c6a5621e830f3cfe66c381f986e63c7f2

commit 8809ee8c6a5621e830f3cfe66c381f986e63c7f2
Merge: 2d824b796cd f742538d133
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Fri Jul 29 16:27:22 2022 +0000

    Merge #1427
    
    1427: unsafe: Check for unsafe function/method calls r=CohenArthur a=CohenArthur
    
    Addresses #1411
    
    Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>

Diff:

 gcc/rust/backend/rust-compile-resolve-path.cc      |  3 +-
 gcc/rust/checks/errors/rust-unsafe-checker.cc      | 91 +++++++++++++++++++++-
 gcc/rust/checks/errors/rust-unsafe-checker.h       |  7 ++
 gcc/rust/hir/rust-ast-lower-base.cc                | 14 ++--
 gcc/rust/hir/rust-ast-lower-extern.h               |  6 +-
 gcc/rust/util/rust-hir-map.cc                      | 32 ++++++--
 gcc/rust/util/rust-hir-map.h                       | 10 ++-
 gcc/testsuite/rust/compile/issue-1173.rs           |  7 +-
 gcc/testsuite/rust/compile/torture/intrinsics-1.rs | 16 ++--
 .../rust/compile/torture/transmute-size-check-1.rs |  2 +-
 gcc/testsuite/rust/compile/torture/transmute1.rs   |  2 +-
 gcc/testsuite/rust/compile/unsafe6.rs              | 14 ++++
 gcc/testsuite/rust/compile/unsafe7.rs              |  9 +++
 gcc/testsuite/rust/compile/unsafe8.rs              | 14 ++++
 .../rust/execute/torture/builtin_macro_cfg.rs      |  8 +-
 .../rust/execute/torture/builtin_macro_concat.rs   |  7 +-
 .../rust/execute/torture/builtin_macro_env.rs      |  7 +-
 .../execute/torture/builtin_macro_include_bytes.rs | 60 +++++++-------
 .../execute/torture/builtin_macro_include_str.rs   | 18 +++--
 .../rust/execute/torture/builtin_macro_line.rs     |  6 +-
 .../rust/execute/torture/builtin_macros1.rs        |  4 +-
 .../rust/execute/torture/builtin_macros3.rs        |  7 +-
 gcc/testsuite/rust/execute/torture/macros10.rs     |  4 +-
 gcc/testsuite/rust/execute/torture/macros12.rs     |  4 +-
 gcc/testsuite/rust/execute/torture/macros13.rs     |  4 +-
 gcc/testsuite/rust/execute/torture/macros14.rs     |  4 +-
 gcc/testsuite/rust/execute/torture/macros22.rs     | 12 ++-
 gcc/testsuite/rust/execute/torture/macros29.rs     | 20 ++---
 gcc/testsuite/rust/execute/torture/macros30.rs     | 22 +++---
 gcc/testsuite/rust/execute/torture/macros31.rs     |  8 +-
 gcc/testsuite/rust/execute/torture/match_bool1.rs  | 33 ++++----
 gcc/testsuite/rust/execute/torture/match_byte1.rs  | 29 ++++---
 gcc/testsuite/rust/execute/torture/match_char1.rs  | 29 ++++---
 gcc/testsuite/rust/execute/torture/match_int1.rs   | 59 ++++++++------
 gcc/testsuite/rust/execute/torture/match_loop1.rs  | 21 +++--
 gcc/testsuite/rust/execute/torture/match_range1.rs | 19 +++--
 gcc/testsuite/rust/execute/torture/match_range2.rs | 23 +++---
 gcc/testsuite/rust/execute/torture/match_tuple1.rs | 14 ++--
 gcc/testsuite/rust/link/simple_function_0.rs       |  1 +
 39 files changed, 460 insertions(+), 190 deletions(-)