diff options
| author | Owen Avery <powerboat9.gamer@gmail.com> | 2023-06-05 16:48:55 -0400 |
|---|---|---|
| committer | CohenArthur <arthur.cohen@embecosm.com> | 2023-06-06 14:09:45 +0000 |
| commit | 333e7a2b04e3f2de99d2103a98a28fbb28d37ef7 (patch) | |
| tree | 323e00044f50b9a88cecd3934d5abf22b62d0c11 | |
| parent | e11efa45bf12142b0599f017a8f07a1817375703 (diff) | |
| download | gcc-333e7a2b04e3f2de99d2103a98a28fbb28d37ef7.zip gcc-333e7a2b04e3f2de99d2103a98a28fbb28d37ef7.tar.gz gcc-333e7a2b04e3f2de99d2103a98a28fbb28d37ef7.tar.bz2 | |
Allow parsing a borrow from struct expression
gcc/rust/ChangeLog:
* parse/rust-parse-impl.h
(Parser::null_denotation): Allow struct expression referencing.
gcc/testsuite/ChangeLog:
* rust/compile/struct-expr-parse.rs: New test.
Signed-off-by: Owen Avery <powerboat9.gamer@gmail.com>
| -rw-r--r-- | gcc/rust/parse/rust-parse-impl.h | 5 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/struct-expr-parse.rs | 7 |
2 files changed, 9 insertions, 3 deletions
diff --git a/gcc/rust/parse/rust-parse-impl.h b/gcc/rust/parse/rust-parse-impl.h index 30f226e..cb06b28 100644 --- a/gcc/rust/parse/rust-parse-impl.h +++ b/gcc/rust/parse/rust-parse-impl.h @@ -12633,11 +12633,10 @@ Parser<ManagedTokenSource>::null_denotation (const_TokenPtr tok, std::unique_ptr<AST::Expr> expr = nullptr; bool is_mut_borrow = false; - /* HACK: as struct expressions should always be value expressions, - * cannot be referenced */ ParseRestrictions entered_from_unary; entered_from_unary.entered_from_unary = true; - entered_from_unary.can_be_struct_expr = false; + if (!restrictions.can_be_struct_expr) + entered_from_unary.can_be_struct_expr = false; if (lexer.peek_token ()->get_id () == MUT) { diff --git a/gcc/testsuite/rust/compile/struct-expr-parse.rs b/gcc/testsuite/rust/compile/struct-expr-parse.rs new file mode 100644 index 0000000..3c383a9 --- /dev/null +++ b/gcc/testsuite/rust/compile/struct-expr-parse.rs @@ -0,0 +1,7 @@ +struct A { // { dg-warning "struct is never constructed" } + a: u32 +} + +pub fn foo(a: u32) { + (&A { a }.a, 1); +} |