Skip to content

Commit 7e6bd57

Browse files
lucic71lucic71
committed
Update tests
1 parent 79b7280 commit 7e6bd57

6 files changed

Lines changed: 53 additions & 29 deletions

File tree

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

Lines changed: 13 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -107,15 +107,15 @@ fn main_0() -> i32 {
107107
assert!(((f1.y.read()) == 4));
108108
assert!(({ (f1.z).clone() } == { (x1.as_pointer()) }));
109109
assert!(((f1.z.read()) == 4));
110-
elem!((f2.a.as_pointer() as Ptr<i32>), 0).with_mut(|__v| __v.prefix_inc());
111-
elem!((f2.a.as_pointer() as Ptr<i32>), 1).with_mut(|__v| __v.prefix_inc());
112-
elem!((f2.a.as_pointer() as Ptr<i32>), 2).with_mut(|__v| __v.prefix_inc());
113-
assert!(((elem!((f2.a.as_pointer() as Ptr<i32>), 0).read()) == 1));
114-
assert!(((elem!((f2.a.as_pointer() as Ptr<i32>), 1).read()) == 2));
115-
assert!(((elem!((f2.a.as_pointer() as Ptr<i32>), 2).read()) == 3));
116-
assert!(((elem!((f1.a.as_pointer() as Ptr<i32>), 0).read()) == 0));
117-
assert!(((elem!((f1.a.as_pointer() as Ptr<i32>), 1).read()) == 1));
118-
assert!(((elem!((f1.a.as_pointer() as Ptr<i32>), 2).read()) == 2));
110+
elem!((f2.a.as_pointer() as Ptr::<i32>), 0).with_mut(|__v| __v.prefix_inc());
111+
elem!((f2.a.as_pointer() as Ptr::<i32>), 1).with_mut(|__v| __v.prefix_inc());
112+
elem!((f2.a.as_pointer() as Ptr::<i32>), 2).with_mut(|__v| __v.prefix_inc());
113+
assert!(((elem!((f2.a.as_pointer() as Ptr::<i32>), 0).read()) == 1));
114+
assert!(((elem!((f2.a.as_pointer() as Ptr::<i32>), 1).read()) == 2));
115+
assert!(((elem!((f2.a.as_pointer() as Ptr::<i32>), 2).read()) == 3));
116+
assert!(((elem!((f1.a.as_pointer() as Ptr::<i32>), 0).read()) == 0));
117+
assert!(((elem!((f1.a.as_pointer() as Ptr::<i32>), 1).read()) == 1));
118+
assert!(((elem!((f1.a.as_pointer() as Ptr::<i32>), 2).read()) == 2));
119119
f2.bar.w = 20;
120120
assert!((f2.bar.w == 20));
121121
assert!((f1.bar.w == 10));
@@ -428,7 +428,10 @@ fn main_0() -> i32 {
428428
Rc::new(RefCell::new((*pair3.borrow()).0.borrow().clone())),
429429
Rc::new(RefCell::new((*pair3.borrow()).1.borrow().clone())),
430430
)));
431-
(*(*pair4.borrow()).0.borrow_mut()).push(1);
431+
{
432+
let __a1 = 1;
433+
(*(*pair4.borrow()).0.borrow_mut()).push(__a1)
434+
};
432435
(*(*pair4.borrow()).1.borrow_mut()) = 1;
433436
assert!(((*(*pair4.borrow()).0.borrow()).len() == 1_usize));
434437
assert!(((*(*pair4.borrow()).1.borrow()) == 1));

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

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,18 @@ pub fn main() {
1212
}
1313
fn main_0() -> i32 {
1414
let v: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));
15-
(*v.borrow_mut()).push(1);
16-
(*v.borrow_mut()).push(2);
17-
(*v.borrow_mut()).push(3);
15+
{
16+
let __a1 = 1;
17+
(*v.borrow_mut()).push(__a1)
18+
};
19+
{
20+
let __a1 = 2;
21+
(*v.borrow_mut()).push(__a1)
22+
};
23+
{
24+
let __a1 = 3;
25+
(*v.borrow_mut()).push(__a1)
26+
};
1827
let v_begin: Value<Ptr<i32>> = Rc::new(RefCell::new((v.as_pointer() as Ptr<i32>)));
1928
let v_end: Value<Ptr<i32>> = Rc::new(RefCell::new((v.as_pointer() as Ptr<i32>).to_end()));
2029
let it: Value<Ptr<i32>> = Rc::new(RefCell::new({

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

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -170,7 +170,7 @@ unsafe fn main_0() -> i32 {
170170
'loop_: while ((i) < (N)) {
171171
(*&mut map1
172172
.entry(i.clone())
173-
.or_insert_with(|| Box::new((i, i32::default())))
173+
.or_insert_with(|| Box::new((i, <i32>::default())))
174174
.1) = i;
175175
i.prefix_inc();
176176
}
@@ -180,13 +180,13 @@ unsafe fn main_0() -> i32 {
180180
assert!(
181181
((*&mut map2
182182
.entry(i.clone())
183-
.or_insert_with(|| Box::new((i, i32::default())))
183+
.or_insert_with(|| Box::new((i, <i32>::default())))
184184
.1)
185185
== (i))
186186
);
187187
(*&mut map2
188188
.entry(i.clone())
189-
.or_insert_with(|| Box::new((i, i32::default())))
189+
.or_insert_with(|| Box::new((i, <i32>::default())))
190190
.1)
191191
.prefix_inc();
192192
i.prefix_inc();
@@ -196,14 +196,14 @@ unsafe fn main_0() -> i32 {
196196
assert!(
197197
((*&mut map1
198198
.entry(i.clone())
199-
.or_insert_with(|| Box::new((i, i32::default())))
199+
.or_insert_with(|| Box::new((i, <i32>::default())))
200200
.1)
201201
== (i))
202202
);
203203
assert!(
204204
((*&mut map2
205205
.entry(i.clone())
206-
.or_insert_with(|| Box::new((i, i32::default())))
206+
.or_insert_with(|| Box::new((i, <i32>::default())))
207207
.1)
208208
== ((i) + (1)))
209209
);
@@ -225,7 +225,10 @@ unsafe fn main_0() -> i32 {
225225
0.into(),
226226
);
227227
let mut pair4: (Vec<i32>, i32) = pair3.clone();
228-
pair4.0.push(1);
228+
{
229+
let __a1 = 1;
230+
pair4.0.push(__a1)
231+
};
229232
pair4.1 = 1;
230233
assert!(((pair4.0.len()) == (1_usize)));
231234
assert!(((pair4.1) == (1)));

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

Lines changed: 15 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,18 @@ pub fn main() {
1414
}
1515
unsafe fn main_0() -> i32 {
1616
let mut v: Vec<i32> = Vec::new();
17-
v.push(1);
18-
v.push(2);
19-
v.push(3);
17+
{
18+
let __a1 = 1;
19+
v.push(__a1)
20+
};
21+
{
22+
let __a1 = 2;
23+
v.push(__a1)
24+
};
25+
{
26+
let __a1 = 3;
27+
v.push(__a1)
28+
};
2029
let mut v_begin: *mut i32 = v.as_mut_ptr();
2130
let mut v_end: *mut i32 = v.as_mut_ptr().add(v.len());
2231
let mut it: *mut i32 = {
@@ -30,15 +39,15 @@ unsafe fn main_0() -> i32 {
3039
let mut m: BTreeMap<i32, Box<(i32, f64)>> = BTreeMap::new();
3140
(*&mut m
3241
.entry(1.clone())
33-
.or_insert_with(|| Box::new((1, f64::default())))
42+
.or_insert_with(|| Box::new((1, <f64>::default())))
3443
.1) = 1_f64;
3544
(*&mut m
3645
.entry(2.clone())
37-
.or_insert_with(|| Box::new((2, f64::default())))
46+
.or_insert_with(|| Box::new((2, <f64>::default())))
3847
.1) = 2_f64;
3948
(*&mut m
4049
.entry(3.clone())
41-
.or_insert_with(|| Box::new((3, f64::default())))
50+
.or_insert_with(|| Box::new((3, <f64>::default())))
4251
.1) = 3_f64;
4352
let mut m_begin: UnsafeMapIterator<i32, f64> =
4453
UnsafeMapIterator::begin(&m as *const BTreeMap<i32, Box<(i32, f64)>>);

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -213,11 +213,11 @@ unsafe fn main_0() -> i32 {
213213
let mut m: BTreeMap<Lt, Box<(Lt, i32)>> = BTreeMap::new();
214214
(*&mut m
215215
.entry(Lt { v: 2 }.clone())
216-
.or_insert_with(|| Box::new((Lt { v: 2 }, i32::default())))
216+
.or_insert_with(|| Box::new((Lt { v: 2 }, <i32>::default())))
217217
.1) = 20;
218218
(*&mut m
219219
.entry(Lt { v: 1 }.clone())
220-
.or_insert_with(|| Box::new((Lt { v: 1 }, i32::default())))
220+
.or_insert_with(|| Box::new((Lt { v: 1 }, <i32>::default())))
221221
.1) = 10;
222222
assert!(
223223
((*&raw mut (*UnsafeMapIterator::begin(&m as *const BTreeMap<Lt, Box<(Lt, i32)>>)
@@ -227,7 +227,7 @@ unsafe fn main_0() -> i32 {
227227
assert!(
228228
((*&mut m
229229
.entry(Lt { v: 2 }.clone())
230-
.or_insert_with(|| Box::new((Lt { v: 2 }, i32::default())))
230+
.or_insert_with(|| Box::new((Lt { v: 2 }, <i32>::default())))
231231
.1)
232232
== (20))
233233
);

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ unsafe fn main_0() -> i32 {
2424
let mut m: BTreeMap<i32, Box<(i32, i32)>> = BTreeMap::new();
2525
(*&mut m
2626
.entry(0.clone())
27-
.or_insert_with(|| Box::new((0, i32::default())))
27+
.or_insert_with(|| Box::new((0, <i32>::default())))
2828
.1) = 1;
2929
let mut end: UnsafeMapIterator<i32, i32> =
3030
UnsafeMapIterator::end(&m as *const BTreeMap<i32, Box<(i32, i32)>>);

0 commit comments

Comments
 (0)