Merge #801

801: operator overloading r=philberty a=philberty

This change adds operator overloading by following how the C++ front-end
does it. We are relying on GCC to inline the operator overloads which does
occur once optimizations are enabled. It also brings back the desurgared
compound assignment expression (e2b761b13e6ccd3a7af4100183bb13e32b5b0da0)
for lang_items such as add_assign. You can find more information on how the algorithm works in:

- c47d5cbdee9b701fb7753b44530fcb51f80b20fa 
- a7fb60bb626f7b936bf117636db777a5f0df30c9 

These were refactored in: 0f74fe23c6d602c257ba94b2522bd9d6a594609e

Fixes #249



Co-authored-by: Philip Herron <philip.herron@embecosm.com>

1 files changed, 7 insertions, 0 deletions

diff --git a/gcc/rust/resolve/rust-ast-verify-assignee.h b/gcc/rust/resolve/rust-ast-verify-assignee.h
index 6fbf5fe..d362fe4 100644
--- a/gcc/rust/resolve/rust-ast-verify-assignee.h
+++ b/gcc/rust/resolve/rust-ast-verify-assignee.h
@@ -75,6 +75,13 @@ public:
       }
   }
 
+  void visit (AST::DereferenceExpr &expr) override
+  {
+    expr.get_dereferenced_expr ()->accept_vis (*this);
+  }
+
+  void visit (AST::PathInExpression &expr) override { ok = true; }
+
 private:
   VerifyAsignee (NodeId parent) : ResolverBase (parent), ok (false) {}