Skip to content

Commit 08a4176

Browse files
committed
transpile: Use raw pointers for lvalues with side effects
1 parent a9db1b1 commit 08a4176

3 files changed

Lines changed: 12 additions & 11 deletions

File tree

c2rust-transpile/src/translator/named_references.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -124,11 +124,12 @@ impl<'c> Translation<'c> {
124124

125125
let ptr_name = self.renamer.borrow_mut().fresh();
126126

127-
// let ref mut p = lhs;
127+
// let p = &raw mut lhs;
128+
self.use_feature("raw_ref_op");
128129
let compute_ref = mk().local_stmt(Box::new(mk().local(
129-
mk().mutbl().ident_ref_pat(&ptr_name),
130+
mk().ident_pat(&ptr_name),
130131
None,
131-
Some(reference),
132+
Some(mk().mutbl().raw_borrow_expr(reference)),
132133
)));
133134

134135
let write =

c2rust-transpile/tests/snapshots/snapshots__transpile@exprs.c.2021.snap

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -80,17 +80,17 @@ pub unsafe extern "C" fn inc_decl_with_lvalue_side_effect() {
8080
*lvalue_side_effect() -= 1;
8181
*lvalue_side_effect() += 1;
8282
*lvalue_side_effect() -= 1;
83-
let ref mut c2rust_fresh2 = *lvalue_side_effect();
83+
let c2rust_fresh2 = &raw mut *lvalue_side_effect();
8484
*c2rust_fresh2 += 1;
8585
let mut pre_inc: ::core::ffi::c_int = *c2rust_fresh2;
86-
let ref mut c2rust_fresh3 = *lvalue_side_effect();
86+
let c2rust_fresh3 = &raw mut *lvalue_side_effect();
8787
*c2rust_fresh3 -= 1;
8888
let mut pre_dec: ::core::ffi::c_int = *c2rust_fresh3;
89-
let ref mut c2rust_fresh4 = *lvalue_side_effect();
89+
let c2rust_fresh4 = &raw mut *lvalue_side_effect();
9090
let c2rust_fresh5 = *c2rust_fresh4;
9191
*c2rust_fresh4 = *c2rust_fresh4 + 1;
9292
let mut post_inc: ::core::ffi::c_int = c2rust_fresh5;
93-
let ref mut c2rust_fresh6 = *lvalue_side_effect();
93+
let c2rust_fresh6 = &raw mut *lvalue_side_effect();
9494
let c2rust_fresh7 = *c2rust_fresh6;
9595
*c2rust_fresh6 = *c2rust_fresh6 - 1;
9696
let mut post_dec: ::core::ffi::c_int = c2rust_fresh7;

c2rust-transpile/tests/snapshots/snapshots__transpile@exprs.c.2024.snap

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -80,17 +80,17 @@ pub unsafe extern "C" fn inc_decl_with_lvalue_side_effect() {
8080
*lvalue_side_effect() -= 1;
8181
*lvalue_side_effect() += 1;
8282
*lvalue_side_effect() -= 1;
83-
let ref mut c2rust_fresh2 = *lvalue_side_effect();
83+
let c2rust_fresh2 = &raw mut *lvalue_side_effect();
8484
*c2rust_fresh2 += 1;
8585
let mut pre_inc: ::core::ffi::c_int = *c2rust_fresh2;
86-
let ref mut c2rust_fresh3 = *lvalue_side_effect();
86+
let c2rust_fresh3 = &raw mut *lvalue_side_effect();
8787
*c2rust_fresh3 -= 1;
8888
let mut pre_dec: ::core::ffi::c_int = *c2rust_fresh3;
89-
let ref mut c2rust_fresh4 = *lvalue_side_effect();
89+
let c2rust_fresh4 = &raw mut *lvalue_side_effect();
9090
let c2rust_fresh5 = *c2rust_fresh4;
9191
*c2rust_fresh4 = *c2rust_fresh4 + 1;
9292
let mut post_inc: ::core::ffi::c_int = c2rust_fresh5;
93-
let ref mut c2rust_fresh6 = *lvalue_side_effect();
93+
let c2rust_fresh6 = &raw mut *lvalue_side_effect();
9494
let c2rust_fresh7 = *c2rust_fresh6;
9595
*c2rust_fresh6 = *c2rust_fresh6 - 1;
9696
let mut post_dec: ::core::ffi::c_int = c2rust_fresh7;

0 commit comments

Comments
 (0)