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

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

[Thomas Schwinge]

https://gcc.gnu.org/g:9e61c6eb220cf54b3fcac3d3fe7a7f1f59bcc7ad

commit 9e61c6eb220cf54b3fcac3d3fe7a7f1f59bcc7ad
Merge: 8cad07cfd22 4a4206c0176
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Wed May 18 14:50:31 2022 +0000

    Merge #1250
    
    1250: Support extern-blocks defined within blocks r=philberty a=philberty
    
    This adds support for declaring extern blocks within blocks. So this adds
    the missing name resolution visitor for the statement context. Then we
    extract out a common extern block hir lowering function for both contexts.
    
    The type resolution step needs to be updated to be like the code-generation
    step so that we can solve these paths in a query rather than a top-down
    approach but this is a known issue.
    
    The final step was to support query-based compilation to extern functions.
    
    Fixes #976
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>

Diff:

 gcc/rust/Make-lang.in                           |  1 +
 gcc/rust/backend/rust-compile-base.cc           |  8 ++-
 gcc/rust/backend/rust-compile-extern.h          | 27 ++++++++--
 gcc/rust/backend/rust-compile-resolve-path.cc   | 16 +++++-
 gcc/rust/hir/rust-ast-lower-base.cc             | 68 +++++++++++++++++++++----
 gcc/rust/hir/rust-ast-lower-base.h              |  2 +
 gcc/rust/hir/rust-ast-lower-item.cc             | 41 +--------------
 gcc/rust/hir/rust-ast-lower-stmt.h              |  5 ++
 gcc/rust/resolve/rust-ast-resolve-stmt.cc       | 38 ++++++++++++++
 gcc/rust/resolve/rust-ast-resolve-stmt.h        |  2 +
 gcc/rust/typecheck/rust-hir-type-check-stmt.h   |  9 ++++
 gcc/rust/typecheck/rust-hir-type-check.cc       |  7 +--
 gcc/testsuite/rust/execute/torture/issue-976.rs | 14 +++++
 13 files changed, 172 insertions(+), 66 deletions(-)