Skip to content

Commit c869c22

Browse files
committed
Add extra rvalue case
1 parent 869b92b commit c869c22

3 files changed

Lines changed: 10 additions & 0 deletions

File tree

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,9 @@ fn main_0() -> i32 {
3636
let _lhs = (i7.read());
3737
_lhs == (i4.read())
3838
});
39+
let i8: Value<i32> = Rc::new(RefCell::new(3));
40+
let i9: Ptr<i32> = i8.as_pointer();
41+
assert!(((i9.read()) == 3));
3942
let p1: Value<Ptr<i32>> = Rc::new(RefCell::new((i1.as_pointer())));
4043
let p2: Value<Ptr<i32>> = Rc::new(RefCell::new((i3).clone()));
4144
let p3: Value<Ptr<i32>> = Rc::new(RefCell::new((i6).clone()));

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,9 @@ unsafe fn main_0() -> i32 {
2929
let i7: *mut i32 = i4;
3030
assert!(((*i6) == (*i3)));
3131
assert!(((*i7) == (*i4)));
32+
let mut i8: i32 = 3;
33+
let i9: *mut i32 = &mut i8;
34+
assert!(((*i9) == (3)));
3235
let mut p1: *mut i32 = (&mut i1 as *mut i32);
3336
let mut p2: *mut i32 = (i3);
3437
let mut p3: *mut i32 = (i6);

‎tests/unit/rvalue_ref_general.cpp‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,10 @@ int main() {
2323
assert(i6 == i3);
2424
assert(i7 == i4);
2525

26+
int i8 = 3;
27+
int &&i9 = std::move(i8);
28+
assert(i9 == 3);
29+
2630
int *p1 = &i1;
2731
int *p2 = &i3;
2832
int *p3 = &i6;

0 commit comments

Comments
 (0)