diff options
author | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-04-19 17:40:15 +0200 |
---|---|---|
committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 18:34:10 +0100 |
commit | 94f2a1ce4b582e250b8a760a2acdd77cf98dd454 (patch) | |
tree | 3cfe9552976b96cedb8fbbfe6e2e1113749bad44 | |
parent | 0b48fddeee8497369d39dcd5904bbf808cb52bd3 (diff) | |
download | gcc-94f2a1ce4b582e250b8a760a2acdd77cf98dd454.zip gcc-94f2a1ce4b582e250b8a760a2acdd77cf98dd454.tar.gz gcc-94f2a1ce4b582e250b8a760a2acdd77cf98dd454.tar.bz2 |
gccrs: parser: Parse reference patterns correctly
Reference patterns cannot contain AltPatterns per the Rust reference,
so we should not call into `parse_pattern` to parse the referenced pattern,
but rather the more restrictive `parse_pattern_no_alt`.
gcc/rust/ChangeLog:
* parse/rust-parse-impl.h (Parser::parse_reference_pattern): Do not
call into `parse_pattern` anymore.
gcc/testsuite/ChangeLog:
* rust/compile/issue-1807.rs: New test.
-rw-r--r-- | gcc/rust/parse/rust-parse-impl.h | 2 | ||||
-rw-r--r-- | gcc/testsuite/rust/compile/issue-1807.rs | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/rust/parse/rust-parse-impl.h b/gcc/rust/parse/rust-parse-impl.h index 13f0541..c3aeda2 100644 --- a/gcc/rust/parse/rust-parse-impl.h +++ b/gcc/rust/parse/rust-parse-impl.h @@ -10949,7 +10949,7 @@ Parser<ManagedTokenSource>::parse_reference_pattern () } // parse pattern to get reference of (required) - std::unique_ptr<AST::Pattern> pattern = parse_pattern (); + std::unique_ptr<AST::Pattern> pattern = parse_pattern_no_alt (); if (pattern == nullptr) { Error error (lexer.peek_token ()->get_locus (), diff --git a/gcc/testsuite/rust/compile/issue-1807.rs b/gcc/testsuite/rust/compile/issue-1807.rs new file mode 100644 index 0000000..fe821f0 --- /dev/null +++ b/gcc/testsuite/rust/compile/issue-1807.rs @@ -0,0 +1,6 @@ +// { dg-additional-options "-fsyntax-only" } + +fn main() { + let is_zero = &|&&d: &&u8| -> bool { d == b'0' }; + let lambda = |&c| c != b'9'; +} |