fix(to_cpp1): extend move supression to member access

Author: JohelEGP

regression-tests/mixed-parameter-passing-with-forward.cpp2

@@ -14,16 +14,20 @@ parameter_styles: (
     )
 = {
     z: int = 12;
+    y: std::pair = (17, 29);
 
     z++;
+    y.first--;
     b += "plugh";
 
     if std::rand()%2 {
         z++;
+        y.first--;
         copy_from(b);   // definite last use
     }
     else {
         copy_from(b&);  // NB: better not move from this (why not?)
+        copy_from(y.second&);  // Ditto
         copy_from(d);
         copy_from(z++);
         copy_from(e);

regression-tests/test-results/mixed-parameter-passing-with-forward.cpp

@@ -28,7 +28,7 @@ CPP2_REQUIRES (std::is_same_v<CPP2_TYPEOF(e), std::string>)
 #line 8 "mixed-parameter-passing-with-forward.cpp2"
 ;
 
-#line 42 "mixed-parameter-passing-with-forward.cpp2"
+#line 46 "mixed-parameter-passing-with-forward.cpp2"
 [[nodiscard]] auto main() -> int;
 
 
@@ -49,16 +49,20 @@ requires (std::is_same_v<CPP2_TYPEOF(e), std::string>)
 #line 15 "mixed-parameter-passing-with-forward.cpp2"
 {
     int z {12}; 
+    std::pair y {17, 29}; 
 
     ++z;
+    --y.first;
     b += "plugh";
 
     if (std::rand() % 2) {
         ++z;
+        --y.first;
         copy_from(std::move(b));// definite last use
     }
     else {
         copy_from(&b);  // NB: better not move from this (why not?)
+        copy_from(&y.second);  // Ditto
         copy_from(std::move(d));
         copy_from(++z);
         copy_from(CPP2_FORWARD(e));

source/to_cpp1.h

@@ -3157,6 +3157,16 @@ class cppfront
             n.ops.front().op->type() == lexeme::MinusMinus
             || n.ops.front().op->type() == lexeme::PlusPlus
             || n.ops.front().op->type() == lexeme::Ampersand
+            || (
+                std::ssize(n.ops) >= 2
+                && n.ops.front().op->type() == lexeme::Dot
+                &&
+                (
+                    n.ops[1].op->type() == lexeme::MinusMinus
+                    || n.ops[1].op->type() == lexeme::PlusPlus
+                    || n.ops[1].op->type() == lexeme::Ampersand
+                )
+              )
             )
         {
             suppress_move_from_last_use = true;