Skip to content

Commit 02de5e9

Browse files
lucic71lucic71
committed
Update tests
1 parent 59a90f6 commit 02de5e9

9 files changed

Lines changed: 58 additions & 42 deletions

File tree

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

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -578,9 +578,8 @@ fn main_0() -> i32 {
578578
let bufs: Value<Vec<Buffer>> = Rc::new(RefCell::new(Vec::new()));
579579
(*bufs.borrow_mut()).push(Buffer::move_from({ r.as_pointer() }));
580580
{
581-
let __arg = Buffer::move_from({ (bufs.as_pointer() as Ptr<Buffer>).offset(0_usize) });
582-
bufs.as_pointer()
583-
.with_mut(|__v: &mut Vec<Buffer>| __v.push(__arg))
581+
let __init = Buffer::move_from({ (bufs.as_pointer() as Ptr<Buffer>).offset(0_usize) });
582+
(*bufs.borrow_mut()).push(__init)
584583
};
585584
assert!(
586585
(((*(*(bufs.as_pointer() as Ptr<Buffer>)

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

Lines changed: 17 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -127,20 +127,23 @@ impl ByteRepr for MinHeap {
127127
pub fn AllocMinHeap_1(capacity: i32) -> Option<Value<MinHeap>> {
128128
let capacity: Value<i32> = Rc::new(RefCell::new(capacity));
129129
let minHeap: Value<Option<Value<MinHeap>>> =
130-
Rc::new(RefCell::new(Some(Rc::new(RefCell::new(MinHeap {
131-
size: Rc::new(RefCell::new(0)),
132-
capacity: Rc::new(RefCell::new((*capacity.borrow()))),
133-
arr: Rc::new(RefCell::new(Some(Rc::new(RefCell::new(
134-
(0..((*capacity.borrow()) as usize))
135-
.map(|_| <Ptr<MinHeapNode>>::default())
136-
.collect::<Box<[_]>>(),
137-
))))),
138-
next: Rc::new(RefCell::new(0)),
139-
alloc: Rc::new(RefCell::new(Some(Rc::new(RefCell::new(
140-
(0..10000_usize)
141-
.map(|_| <MinHeapNode>::default())
142-
.collect::<Box<[_]>>(),
143-
))))),
130+
Rc::new(RefCell::new(Some(Rc::new(RefCell::new({
131+
let __tmp_0: Value<MinHeap> = Rc::new(RefCell::new(MinHeap {
132+
size: Rc::new(RefCell::new(0)),
133+
capacity: Rc::new(RefCell::new((*capacity.borrow()))),
134+
arr: Rc::new(RefCell::new(Some(Rc::new(RefCell::new(
135+
(0..((*capacity.borrow()) as usize))
136+
.map(|_| <Ptr<MinHeapNode>>::default())
137+
.collect::<Box<[_]>>(),
138+
))))),
139+
next: Rc::new(RefCell::new(0)),
140+
alloc: Rc::new(RefCell::new(Some(Rc::new(RefCell::new(
141+
(0..10000_usize)
142+
.map(|_| <MinHeapNode>::default())
143+
.collect::<Box<[_]>>(),
144+
))))),
145+
}));
146+
MinHeap::move_from({ __tmp_0.as_pointer() })
144147
})))));
145148
return (*minHeap.borrow_mut()).take();
146149
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -278,7 +278,7 @@ pub fn emplace_scalar_9(values: Ptr<Vec<i64>>, x: i32) {
278278
let values: Value<Ptr<Vec<i64>>> = Rc::new(RefCell::new(values));
279279
let x: Value<i32> = Rc::new(RefCell::new(x));
280280
{
281-
let __init = <i64>::default();
281+
let __init = 0_i64;
282282
(*values.borrow()).with_mut(|__v: &mut Vec<i64>| __v.push(__init))
283283
};
284284
{

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

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -289,8 +289,11 @@ pub fn main() {
289289
fn main_0() -> i32 {
290290
let x: Value<Option<Value<i32>>> = Rc::new(RefCell::new(Some(Rc::new(RefCell::new(0)))));
291291
let safe_ptr: Value<Option<Value<SafePointer>>> =
292-
Rc::new(RefCell::new(Some(Rc::new(RefCell::new(SafePointer {
293-
ptr: Rc::new(RefCell::new((*x.borrow_mut()).take())),
292+
Rc::new(RefCell::new(Some(Rc::new(RefCell::new({
293+
let __tmp_0: Value<SafePointer> = Rc::new(RefCell::new(SafePointer {
294+
ptr: Rc::new(RefCell::new((*x.borrow_mut()).take())),
295+
}));
296+
SafePointer::move_from({ __tmp_0.as_pointer() })
294297
})))));
295298
({ DoStuffWithSafePointer_0(safe_ptr.as_pointer()) });
296299
assert!((({ Consume_1((*safe_ptr.borrow_mut()).take(),) }) == 60));

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

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -69,13 +69,15 @@ pub fn main() {
6969
std::process::exit(main_0());
7070
}
7171
fn main_0() -> i32 {
72-
let o: Value<Option<Value<Outer>>> =
73-
Rc::new(RefCell::new(Some(Rc::new(RefCell::new(Outer {
72+
let o: Value<Option<Value<Outer>>> = Rc::new(RefCell::new(Some(Rc::new(RefCell::new({
73+
let __tmp_0: Value<Outer> = Rc::new(RefCell::new(Outer {
7474
inner: Rc::new(RefCell::new(Some(Rc::new(RefCell::new(Inner {
7575
x: Rc::new(RefCell::new(10)),
7676
y: Rc::new(RefCell::new(20)),
7777
}))))),
78-
})))));
78+
}));
79+
Outer::move_from({ __tmp_0.as_pointer() })
80+
})))));
7981
(*(*(*(*(*o.borrow()).as_ref().unwrap().borrow()).inner.borrow())
8082
.as_ref()
8183
.unwrap()

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -351,8 +351,8 @@ unsafe fn main_0() -> i32 {
351351
let mut bufs: Vec<Buffer> = Vec::new();
352352
bufs.push(Buffer::move_from({ &mut r }));
353353
{
354-
let __arg = Buffer::move_from({ &mut bufs[(0_usize)] });
355-
bufs.push(__arg)
354+
let __init = Buffer::move_from({ &mut bufs[(0_usize)] });
355+
bufs.push(__init)
356356
};
357357
assert!(
358358
(((bufs[(1_usize)].n) == (3)) && ((bufs[(1_usize)].data.len()) == (3_usize)))

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

Lines changed: 17 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -145,20 +145,23 @@ impl MinHeap {
145145
}
146146
}
147147
pub unsafe fn AllocMinHeap_1(mut capacity: i32) -> Option<Box<MinHeap>> {
148-
let mut minHeap: Option<Box<MinHeap>> = Some(Box::new(MinHeap {
149-
size: 0,
150-
capacity: capacity,
151-
arr: Some(
152-
(0..(capacity as usize))
153-
.map(|_| <*mut MinHeapNode>::default())
154-
.collect::<Box<[_]>>(),
155-
),
156-
next: 0,
157-
alloc: Some(
158-
(0..10000_usize)
159-
.map(|_| <MinHeapNode>::default())
160-
.collect::<Box<[_]>>(),
161-
),
148+
let mut minHeap: Option<Box<MinHeap>> = Some(Box::new({
149+
let mut __tmp_0: MinHeap = MinHeap {
150+
size: 0,
151+
capacity: capacity,
152+
arr: Some(
153+
(0..(capacity as usize))
154+
.map(|_| <*mut MinHeapNode>::default())
155+
.collect::<Box<[_]>>(),
156+
),
157+
next: 0,
158+
alloc: Some(
159+
(0..10000_usize)
160+
.map(|_| <MinHeapNode>::default())
161+
.collect::<Box<[_]>>(),
162+
),
163+
};
164+
MinHeap::move_from({ &mut __tmp_0 })
162165
}));
163166
return minHeap.take();
164167
}

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

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -160,7 +160,10 @@ pub fn main() {
160160
}
161161
unsafe fn main_0() -> i32 {
162162
let mut x: Option<Box<i32>> = Some(Box::new(0));
163-
let mut safe_ptr: Option<Box<SafePointer>> = Some(Box::new(SafePointer { ptr: x.take() }));
163+
let mut safe_ptr: Option<Box<SafePointer>> = Some(Box::new({
164+
let mut __tmp_0: SafePointer = SafePointer { ptr: x.take() };
165+
SafePointer::move_from({ &mut __tmp_0 })
166+
}));
164167
(unsafe { DoStuffWithSafePointer_0(&mut safe_ptr) });
165168
assert!(((unsafe { Consume_1(safe_ptr.take(),) }) == (60)));
166169
return 0;

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

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -36,8 +36,11 @@ pub fn main() {
3636
}
3737
}
3838
unsafe fn main_0() -> i32 {
39-
let mut o: Option<Box<Outer>> = Some(Box::new(Outer {
40-
inner: Some(Box::new(Inner { x: 10, y: 20 })),
39+
let mut o: Option<Box<Outer>> = Some(Box::new({
40+
let mut __tmp_0: Outer = Outer {
41+
inner: Some(Box::new(Inner { x: 10, y: 20 })),
42+
};
43+
Outer::move_from({ &mut __tmp_0 })
4144
}));
4245
(*(*o.as_deref_mut().unwrap()).inner.as_deref_mut().unwrap()).x += 5;
4346
let mut sum: i32 = (((*(*o.as_deref_mut().unwrap()).inner.as_deref_mut().unwrap()).x)

0 commit comments

Comments
 (0)