diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-01-25 17:03:36 +0000 |
|---|---|---|
| committer | Philip Herron <herron.philip@googlemail.com> | 2021-01-27 10:42:25 +0000 |
| commit | 8578c61be5061fab91fe679a15fd68ab5fad987c (patch) | |
| tree | f09524d5f8bf17fab00618ef7e8e98fd905a557e /gcc/rust/resolve/rust-ast-resolve-toplevel.h | |
| parent | 854aad3b58e747cad3e46b522c9ef765bdfadca4 (diff) | |
| download | gcc-8578c61be5061fab91fe679a15fd68ab5fad987c.zip gcc-8578c61be5061fab91fe679a15fd68ab5fad987c.tar.gz gcc-8578c61be5061fab91fe679a15fd68ab5fad987c.tar.bz2 | |
Add mutablity checks and left hand size assignee checker
In order to assign to a name we must ensure the LHS is a valid expression
to assign to. This leads onto actually checking if this is a mutable
declaration or not.
Once these checks pass the name resolver we can in GIMPLE create immutable
types for these declarations to help with optimization.
Fixes #77
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve-toplevel.h')
| -rw-r--r-- | gcc/rust/resolve/rust-ast-resolve-toplevel.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve-toplevel.h b/gcc/rust/resolve/rust-ast-resolve-toplevel.h index 47435a7..90f9cd6 100644 --- a/gcc/rust/resolve/rust-ast-resolve-toplevel.h +++ b/gcc/rust/resolve/rust-ast-resolve-toplevel.h @@ -57,6 +57,7 @@ public: resolver->insert_new_definition (var.get_node_id (), Definition{var.get_node_id (), var.get_node_id ()}); + resolver->mark_decl_mutability (var.get_node_id (), var.is_mutable ()); } void visit (AST::ConstantItem &constant) |