aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorArthur Cohen <arthur.cohen@embecosm.com>2023-04-19 17:40:15 +0200
committerArthur Cohen <arthur.cohen@embecosm.com>2024-01-16 18:34:10 +0100
commit94f2a1ce4b582e250b8a760a2acdd77cf98dd454 (patch)
tree3cfe9552976b96cedb8fbbfe6e2e1113749bad44 /gcc
parent0b48fddeee8497369d39dcd5904bbf808cb52bd3 (diff)
downloadgcc-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.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/rust/parse/rust-parse-impl.h2
-rw-r--r--gcc/testsuite/rust/compile/issue-1807.rs6
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';
+}