Skip to content

Commit f0801a3

Browse files
committed
Update tests
1 parent 1546065 commit f0801a3

81 files changed

Lines changed: 204 additions & 451 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎tests/multi-file/defaulted_move_cross_tu/out/refcount/defaulted_move_cross_tu.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -41,9 +41,7 @@ impl Default for S {
4141
fn default() -> Self {
4242
S {
4343
v: Rc::new(RefCell::new(Default::default())),
44-
n: Rc::new(RefCell::new(
45-
(0..2).map(|_| <i32>::default()).collect::<Box<[i32]>>(),
46-
)),
44+
n: Rc::new(RefCell::new((0..2).map(|_| 0_i32).collect::<Box<[i32]>>())),
4745
}
4846
}
4947
}

‎tests/ub/out/refcount/fd_use_after_close.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -31,9 +31,7 @@ fn main_0() -> i32 {
3131
}
3232
}));
3333
FdRegistry::close((*fd.borrow()));
34-
let buf: Value<Box<[u8]>> = Rc::new(RefCell::new(
35-
(0..4).map(|_| <u8>::default()).collect::<Box<[u8]>>(),
36-
));
34+
let buf: Value<Box<[u8]>> = Rc::new(RefCell::new((0..4).map(|_| 0_u8).collect::<Box<[u8]>>()));
3735
let n: Value<isize> = Rc::new(RefCell::new(
3836
match FdRegistry::with_fd((*fd.borrow()), |__fd| {
3937
((buf.as_pointer() as Ptr<u8>) as Ptr<u8>)

‎tests/ub/out/refcount/ub10.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,7 @@ pub fn main() {
1212
}
1313
fn main_0() -> i32 {
1414
let arr: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
15-
(0..10_usize)
16-
.map(|_| <i32>::default())
17-
.collect::<Box<[i32]>>(),
15+
(0..10_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
1816
)));
1917
let ptr: Value<Ptr<i32>> = Rc::new(RefCell::new((*arr.borrow()).offset((1) as isize)));
2018
let out: Value<i32> = Rc::new(RefCell::new(((*ptr.borrow()).read())));

‎tests/ub/out/refcount/ub14.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,7 @@ pub fn main() {
1212
}
1313
fn main_0() -> i32 {
1414
let arr1: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
15-
(0..100_usize)
16-
.map(|_| <i32>::default())
17-
.collect::<Box<[i32]>>(),
15+
(0..100_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
1816
)));
1917
(*arr1.borrow()).offset((100) as isize).write(1);
2018
(*arr1.borrow()).delete();

‎tests/ub/out/refcount/ub15.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,7 @@ pub fn main() {
1212
}
1313
fn main_0() -> i32 {
1414
let arr: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
15-
(0..15_usize)
16-
.map(|_| <i32>::default())
17-
.collect::<Box<[i32]>>(),
15+
(0..15_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
1816
)));
1917
let ptr: Value<Ptr<i32>> = Rc::new(RefCell::new((*arr.borrow()).offset((15) as isize)));
2018
let out: Value<i32> = Rc::new(RefCell::new(((*ptr.borrow()).read())));

‎tests/ub/out/refcount/ub16.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,7 @@ pub fn main() {
1616
}
1717
fn main_0() -> i32 {
1818
let p1: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
19-
(0..10_usize)
20-
.map(|_| <i32>::default())
21-
.collect::<Box<[i32]>>(),
19+
(0..10_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
2220
)));
2321
let out: Value<i32> = Rc::new(RefCell::new(
2422
(({ foo_0(((*p1.borrow()).offset((1) as isize))) })

‎tests/ub/out/refcount/ub20.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,7 @@ pub fn main() {
1616
}
1717
fn main_0() -> i32 {
1818
let x: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
19-
(0..10_usize)
20-
.map(|_| <i32>::default())
21-
.collect::<Box<[i32]>>(),
19+
(0..10_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
2220
)));
2321
({ foo_0((*x.borrow()).clone()) });
2422
return 0;

‎tests/ub/out/refcount/ub9.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,7 @@ pub fn main() {
1212
}
1313
fn main_0() -> i32 {
1414
let arr: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
15-
(0..10_usize)
16-
.map(|_| <i32>::default())
17-
.collect::<Box<[i32]>>(),
15+
(0..10_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
1816
)));
1917
let out: Value<i32> = Rc::new(RefCell::new(((*arr.borrow()).offset((10) as isize).read())));
2018
(*arr.borrow()).delete();

‎tests/unit/out/refcount/06_new_array.rs‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,7 @@ pub fn main() {
1212
}
1313
fn main_0() -> i32 {
1414
let e: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::alloc_array(
15-
(0..2_usize)
16-
.map(|_| <i32>::default())
17-
.collect::<Box<[i32]>>(),
15+
(0..2_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
1816
)));
1917
(*e.borrow()).offset((0) as isize).write(6);
2018
(*e.borrow()).offset((1) as isize).write(7);

‎tests/unit/out/refcount/anonymous-struct.rs‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -261,28 +261,28 @@ pub fn main() {
261261
fn main_0() -> i32 {
262262
let o: Value<Outer> = Rc::new(RefCell::new(Outer {
263263
named: Rc::new(RefCell::new(Outer_Named {
264-
a: Rc::new(RefCell::new(<i32>::default())),
265-
b: Rc::new(RefCell::new(<i32>::default())),
264+
a: Rc::new(RefCell::new(0_i32)),
265+
b: Rc::new(RefCell::new(0_i32)),
266266
})),
267267
anonymous_named_0: Rc::new(RefCell::new(anon_0 {
268-
c: Rc::new(RefCell::new(<i32>::default())),
269-
d: Rc::new(RefCell::new(<i32>::default())),
268+
c: Rc::new(RefCell::new(0_i32)),
269+
d: Rc::new(RefCell::new(0_i32)),
270270
})),
271271
anonymous_named_1: Rc::new(RefCell::new(anon_1 {
272-
g: Rc::new(RefCell::new(<i32>::default())),
273-
h: Rc::new(RefCell::new(<i32>::default())),
272+
g: Rc::new(RefCell::new(0_i32)),
273+
h: Rc::new(RefCell::new(0_i32)),
274274
})),
275275
anon_2: Rc::new(RefCell::new(anon_2 {
276-
e: Rc::new(RefCell::new(<i32>::default())),
277-
f: Rc::new(RefCell::new(<i32>::default())),
276+
e: Rc::new(RefCell::new(0_i32)),
277+
f: Rc::new(RefCell::new(0_i32)),
278278
})),
279279
anon_3: Rc::new(RefCell::new(anon_3 {
280-
i: Rc::new(RefCell::new(<i32>::default())),
280+
i: Rc::new(RefCell::new(0_i32)),
281281
inner_named: Rc::new(RefCell::new(anon_4 {
282-
j: Rc::new(RefCell::new(<i32>::default())),
282+
j: Rc::new(RefCell::new(0_i32)),
283283
})),
284284
anon_5: Rc::new(RefCell::new(anon_5 {
285-
k: Rc::new(RefCell::new(<i32>::default())),
285+
k: Rc::new(RefCell::new(0_i32)),
286286
})),
287287
})),
288288
}));

0 commit comments

Comments
 (0)