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

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

[Thomas Schwinge]

https://gcc.gnu.org/g:4337aea3be387921ee60520d2188906d8762367b

commit 4337aea3be387921ee60520d2188906d8762367b
Merge: b392376cc52 bdd1b86ccb8
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Fri Apr 22 12:15:22 2022 +0000

    Merge #1155
    
    1155: Add base for visibility resolving r=CohenArthur a=CohenArthur
    
    This adds a new visitor whose aim is to resolve the visibility of each VisItem in a crate. The crux of the implementation will be resolving `pub restricted` items, whose module needs to be resolved using name resolution/path resolution. On top of that, we will need to add a new visitor building a "tree" of modules, with a `accessible_from` or `is_child_of` method: All children of a module get to access its items whose visibility is inherited.
    
    Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>

Diff:

 gcc/rust/Make-lang.in                        |   1 +
 gcc/rust/hir/tree/rust-hir-item.h            |   2 +-
 gcc/rust/privacy/rust-privacy-check.cc       |   8 ++
 gcc/rust/privacy/rust-privacy-check.h        |   1 -
 gcc/rust/privacy/rust-privacy-common.h       |  64 +++++++++++
 gcc/rust/privacy/rust-reachability.h         |   2 +
 gcc/rust/privacy/rust-visibility-resolver.cc | 163 +++++++++++++++++++++++++++
 gcc/rust/privacy/rust-visibility-resolver.h  |  89 +++++++++++++++
 gcc/rust/util/rust-hir-map.cc                |  17 +++
 gcc/rust/util/rust-hir-map.h                 |   7 ++
 10 files changed, 352 insertions(+), 2 deletions(-)