Skip to content

Commit 754dfa9

Browse files
committed
Update tests
1 parent e38f874 commit 754dfa9

2 files changed

Lines changed: 34 additions & 4 deletions

File tree

‎tests/unit/out/refcount/void_cast.rs‎

Lines changed: 17 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -89,14 +89,29 @@ fn main_0() -> i32 {
8989
(&(0));
9090
(&(y));
9191
let mut err: i32 = 0;
92-
(&(err = 42));
92+
({ err = 42 });
9393
assert!((err == 42));
9494
let mut chosen: i32 = {
95-
&(err = 7);
95+
{
96+
err = 7
97+
};
9698
123
9799
};
98100
assert!((err == 7));
99101
assert!((chosen == 123));
102+
{
103+
err += 1
104+
};
105+
assert!((err == 8));
106+
let mut assigned: Holder = Holder { field: 1 };
107+
&(assigned = Holder { field: 2 });
108+
assert!((assigned.field == 2));
109+
let target: Value<i32> = Rc::new(RefCell::new(0));
110+
let mut target_ptr: Ptr<i32> = (target.as_pointer());
111+
{
112+
target_ptr.write(5)
113+
};
114+
assert!(((*target.borrow()) == 5));
100115
&(bump_and_return_4);
101116
assert!((side_effect_counter_3.with(|rc| *rc.borrow()) == 2));
102117
&(FnPtr::<fn() -> i32>::new(bump_and_return_4));

‎tests/unit/out/unsafe/void_cast.rs‎

Lines changed: 17 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -90,14 +90,29 @@ unsafe fn main_0() -> i32 {
9090
(&(0));
9191
(&(y));
9292
let mut err: i32 = 0;
93-
(&(err = 42));
93+
({ err = 42 });
9494
assert!(((err) == (42)));
9595
let mut chosen: i32 = {
96-
&(err = 7);
96+
{
97+
err = 7
98+
};
9799
123
98100
};
99101
assert!(((err) == (7)));
100102
assert!(((chosen) == (123)));
103+
{
104+
err += 1
105+
};
106+
assert!(((err) == (8)));
107+
let mut assigned: Holder = Holder { field: 1 };
108+
&(assigned = Holder { field: 2 });
109+
assert!(((assigned.field) == (2)));
110+
let mut target: i32 = 0;
111+
let mut target_ptr: *mut i32 = (&mut target as *mut i32);
112+
{
113+
(*target_ptr) = 5
114+
};
115+
assert!(((target) == (5)));
101116
&(bump_and_return_4);
102117
assert!(((*std::cell::LazyCell::force_mut(&mut *&raw mut side_effect_counter_3)) == (2)));
103118
&(Some(bump_and_return_4));

0 commit comments

Comments
 (0)