diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2023-09-17 20:11:23 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2023-09-17 20:05:46 +0000 |
| commit | f9455fb91bebfeadd54050cb90c2061487d47c20 (patch) | |
| tree | cba500749769ad33d8fe6323aa815652a819a381 /gcc/rust/resolve/rust-ast-resolve-expr.cc | |
| parent | a2d525016277f5f51c452e02c5fb2a0dcf02c643 (diff) | |
| download | gcc-f9455fb91bebfeadd54050cb90c2061487d47c20.zip gcc-f9455fb91bebfeadd54050cb90c2061487d47c20.tar.gz gcc-f9455fb91bebfeadd54050cb90c2061487d47c20.tar.bz2 | |
gccrs: port over readonly_error from c-family for lvalue assignment checks
Fixes #2391
gcc/rust/ChangeLog:
* Make-lang.in: fixup formatting
* resolve/rust-ast-resolve-expr.cc (ResolveExpr::visit): remove old check
* rust-session-manager.cc (Session::compile_crate): call new lint
* resolve/rust-ast-verify-assignee.h: Removed.
* checks/errors/rust-readonly-check.cc: New file.
* checks/errors/rust-readonly-check.h: New file.
gcc/testsuite/ChangeLog:
* rust/compile/wrong_lhs_assignment.rs: update error message
* rust/compile/issue-2391.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve-expr.cc')
| -rw-r--r-- | gcc/rust/resolve/rust-ast-resolve-expr.cc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve-expr.cc b/gcc/rust/resolve/rust-ast-resolve-expr.cc index 4242c8b..92466ed 100644 --- a/gcc/rust/resolve/rust-ast-resolve-expr.cc +++ b/gcc/rust/resolve/rust-ast-resolve-expr.cc @@ -19,7 +19,6 @@ #include "rust-ast-resolve-expr.h" #include "rust-ast-resolve-stmt.h" #include "rust-ast-resolve-struct-expr-field.h" -#include "rust-ast-verify-assignee.h" #include "rust-ast-resolve-type.h" #include "rust-ast-resolve-pattern.h" #include "rust-ast-resolve-path.h" @@ -101,9 +100,6 @@ ResolveExpr::visit (AST::AssignmentExpr &expr) { ResolveExpr::go (expr.get_left_expr ().get (), prefix, canonical_prefix); ResolveExpr::go (expr.get_right_expr ().get (), prefix, canonical_prefix); - - // need to verify the assignee - VerifyAsignee::go (expr.get_left_expr ().get ()); } /* The "break rust" Easter egg. @@ -191,9 +187,6 @@ ResolveExpr::visit (AST::CompoundAssignmentExpr &expr) { ResolveExpr::go (expr.get_left_expr ().get (), prefix, canonical_prefix); ResolveExpr::go (expr.get_right_expr ().get (), prefix, canonical_prefix); - - // need to verify the assignee - VerifyAsignee::go (expr.get_left_expr ().get ()); } void |