Implicit Returns support.

For implict returns we must consider cases with a block having multiple
returns:

 HIR::BlockExpr Stmts {
   ...
   return x
 }
 HIR::BlockExpr final_expression {
   x + 1
 }

Although the code above is bad this is valid rust code and the rust
compiler correctly identifies the final_expression as unreachable.

This dead code eliminiation is done as part of AST to HIR lowering.
Type resolution examines all blocks to identifiy if they terminate
a function with a return/final expression it must correspond accordngly.

If the block is the final block the resulting termination of the block
must match the return type of the function, else the block must conform
to unit type.

1 files changed, 2 insertions, 0 deletions

diff --git a/gcc/rust/ast/rust-expr.h b/gcc/rust/ast/rust-expr.h
index 8baf7b7..2dbaec8 100644
--- a/gcc/rust/ast/rust-expr.h
+++ b/gcc/rust/ast/rust-expr.h
@@ -2838,6 +2838,8 @@ public:
       }
   }
 
+  size_t num_statements () const { return statements.size (); }
+
   // TODO: this mutable getter seems really dodgy. Think up better way.
   const std::vector<Attribute> &get_inner_attrs () const { return inner_attrs; }
   std::vector<Attribute> &get_inner_attrs () { return inner_attrs; }