Skip to content

Commit 451dc1f

Browse files
committed
transpile: Use raw pointers for lvalues with side effects
1 parent 74437d7 commit 451dc1f

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.clang15.snap

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -79,17 +79,17 @@ pub unsafe extern "C" fn inc_decl_with_lvalue_side_effect() {
7979
*lvalue_side_effect() -= 1;
8080
*lvalue_side_effect() += 1;
8181
*lvalue_side_effect() -= 1;
82-
let ref mut c2rust_fresh2 = *lvalue_side_effect();
82+
let c2rust_fresh2 = &raw mut *lvalue_side_effect();
8383
*c2rust_fresh2 += 1;
8484
let mut pre_inc: ::core::ffi::c_int = *c2rust_fresh2;
85-
let ref mut c2rust_fresh3 = *lvalue_side_effect();
85+
let c2rust_fresh3 = &raw mut *lvalue_side_effect();
8686
*c2rust_fresh3 -= 1;
8787
let mut pre_dec: ::core::ffi::c_int = *c2rust_fresh3;
88-
let ref mut c2rust_fresh4 = *lvalue_side_effect();
88+
let c2rust_fresh4 = &raw mut *lvalue_side_effect();
8989
let c2rust_fresh5 = *c2rust_fresh4;
9090
*c2rust_fresh4 = *c2rust_fresh4 + 1;
9191
let mut post_inc: ::core::ffi::c_int = c2rust_fresh5;
92-
let ref mut c2rust_fresh6 = *lvalue_side_effect();
92+
let c2rust_fresh6 = &raw mut *lvalue_side_effect();
9393
let c2rust_fresh7 = *c2rust_fresh6;
9494
*c2rust_fresh6 = *c2rust_fresh6 - 1;
9595
let mut post_dec: ::core::ffi::c_int = c2rust_fresh7;

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -79,17 +79,17 @@ pub unsafe extern "C" fn inc_decl_with_lvalue_side_effect() {
7979
*lvalue_side_effect() -= 1;
8080
*lvalue_side_effect() += 1;
8181
*lvalue_side_effect() -= 1;
82-
let ref mut c2rust_fresh2 = *lvalue_side_effect();
82+
let c2rust_fresh2 = &raw mut *lvalue_side_effect();
8383
*c2rust_fresh2 += 1;
8484
let mut pre_inc: ::core::ffi::c_int = *c2rust_fresh2;
85-
let ref mut c2rust_fresh3 = *lvalue_side_effect();
85+
let c2rust_fresh3 = &raw mut *lvalue_side_effect();
8686
*c2rust_fresh3 -= 1;
8787
let mut pre_dec: ::core::ffi::c_int = *c2rust_fresh3;
88-
let ref mut c2rust_fresh4 = *lvalue_side_effect();
88+
let c2rust_fresh4 = &raw mut *lvalue_side_effect();
8989
let c2rust_fresh5 = *c2rust_fresh4;
9090
*c2rust_fresh4 = *c2rust_fresh4 + 1;
9191
let mut post_inc: ::core::ffi::c_int = c2rust_fresh5;
92-
let ref mut c2rust_fresh6 = *lvalue_side_effect();
92+
let c2rust_fresh6 = &raw mut *lvalue_side_effect();
9393
let c2rust_fresh7 = *c2rust_fresh6;
9494
*c2rust_fresh6 = *c2rust_fresh6 - 1;
9595
let mut post_dec: ::core::ffi::c_int = c2rust_fresh7;

0 commit comments

Comments
 (0)