work

Author: lucic71

cpp2rust/converter/converter.cpp

@@ -2624,6 +2624,14 @@ bool Converter::VisitExplicitCastExpr(clang::ExplicitCastExpr *expr) {
   auto type = expr->getTypeAsWritten();
   auto *sub_expr = expr->getSubExpr();
   if (type->isVoidType()) {
+    if (auto *assign =
+            clang::dyn_cast<clang::BinaryOperator>(sub_expr->IgnoreParens());
+        assign && assign->isAssignmentOp()) {
+      PushBrace brace(*this);
+      PushExprKind push(*this, ExprKind::Void);
+      Convert(sub_expr);
+      return false;
+    }
     StrCat(token::kRef);
     PushParen paren(*this);
     PushExprKind push(*this, ExprKind::Void);

cpp2rust/converter/models/converter_refcount.cpp

@@ -1568,6 +1568,14 @@ bool ConverterRefCount::VisitFunctionPointerCast(
 
 bool ConverterRefCount::VisitExplicitCastExpr(clang::ExplicitCastExpr *expr) {
   if (expr->getTypeAsWritten()->isVoidType()) {
+    if (auto *assign = clang::dyn_cast<clang::BinaryOperator>(
+            expr->getSubExpr()->IgnoreParens());
+        assign && assign->isAssignmentOp()) {
+      PushBrace brace(*this);
+      PushExprKind push(*this, ExprKind::Void);
+      Convert(expr->getSubExpr());
+      return false;
+    }
     StrCat(token::kRef);
     PushParen paren(*this);
     PushExprKind push(*this, ExprKind::Void);

tests/unit/void_cast.cpp

@@ -65,6 +65,18 @@ int main() {
   assert(err == 7);
   assert(chosen == 123);
 
+  (void)(err += 1);
+  assert(err == 8);
+
+  Holder assigned{1};
+  (void)(assigned = Holder{2});
+  assert(assigned.field == 2);
+
+  int target = 0;
+  int *target_ptr = ⌖
+  (void)(*target_ptr = 5);
+  assert(target == 5);
+
   (void)bump_and_return;
   assert(side_effect_counter == 2);