Skip to content

Commit 584573a

Browse files
committed
Update tests
1 parent 8226358 commit 584573a

23 files changed

Lines changed: 42 additions & 99 deletions

tests/ub/out/unsafe/ub10.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,8 @@ pub fn main() {
1313
}
1414
}
1515
unsafe fn main_0() -> i32 {
16-
let mut arr: *mut i32 = Box::leak(
17-
(0..10_u64)
18-
.map(|_| <i32>::default())
19-
.collect::<Box<[i32]>>(),
20-
)
21-
.as_mut_ptr();
16+
let mut arr: *mut i32 =
17+
Box::leak((0..10_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
2218
let mut ptr: *mut i32 = arr.offset((1) as isize);
2319
let mut out: i32 = (*ptr);
2420

tests/ub/out/unsafe/ub14.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,8 @@ pub fn main() {
1313
}
1414
}
1515
unsafe fn main_0() -> i32 {
16-
let mut arr1: *mut i32 = Box::leak(
17-
(0..100_u64)
18-
.map(|_| <i32>::default())
19-
.collect::<Box<[i32]>>(),
20-
)
21-
.as_mut_ptr();
16+
let mut arr1: *mut i32 =
17+
Box::leak((0..100_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
2218
(*arr1.offset((100) as isize)) = 1;
2319

2420
::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(

tests/ub/out/unsafe/ub15.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,8 @@ pub fn main() {
1313
}
1414
}
1515
unsafe fn main_0() -> i32 {
16-
let mut arr: *mut i32 = Box::leak(
17-
(0..15_u64)
18-
.map(|_| <i32>::default())
19-
.collect::<Box<[i32]>>(),
20-
)
21-
.as_mut_ptr();
16+
let mut arr: *mut i32 =
17+
Box::leak((0..15_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
2218
let mut ptr: *mut i32 = arr.offset((15) as isize);
2319
let mut out: i32 = (*ptr);
2420

tests/ub/out/unsafe/ub16.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -16,12 +16,8 @@ pub fn main() {
1616
}
1717
}
1818
unsafe fn main_0() -> i32 {
19-
let mut p1: *mut i32 = Box::leak(
20-
(0..10_u64)
21-
.map(|_| <i32>::default())
22-
.collect::<Box<[i32]>>(),
23-
)
24-
.as_mut_ptr();
19+
let mut p1: *mut i32 =
20+
Box::leak((0..10_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
2521
let mut out: i32 = (*(unsafe {
2622
let _a: *mut i32 = (&mut (*p1.offset((1) as isize)) as *mut i32);
2723
foo_0(_a)

tests/ub/out/unsafe/ub20.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -16,12 +16,8 @@ pub fn main() {
1616
}
1717
}
1818
unsafe fn main_0() -> i32 {
19-
let mut x: *mut i32 = Box::leak(
20-
(0..10_u64)
21-
.map(|_| <i32>::default())
22-
.collect::<Box<[i32]>>(),
23-
)
24-
.as_mut_ptr();
19+
let mut x: *mut i32 =
20+
Box::leak((0..10_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
2521
(unsafe {
2622
let _single: *mut i32 = x;
2723
foo_0(_single)

tests/ub/out/unsafe/ub9.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13,12 +13,8 @@ pub fn main() {
1313
}
1414
}
1515
unsafe fn main_0() -> i32 {
16-
let mut arr: *mut i32 = Box::leak(
17-
(0..10_u64)
18-
.map(|_| <i32>::default())
19-
.collect::<Box<[i32]>>(),
20-
)
21-
.as_mut_ptr();
16+
let mut arr: *mut i32 =
17+
Box::leak((0..10_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
2218
let mut out: i32 = (*arr.offset((10) as isize));
2319

2420
::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(

tests/unit/out/unsafe/06_new_array.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,7 @@ pub fn main() {
1313
}
1414
}
1515
unsafe fn main_0() -> i32 {
16-
let mut e: *mut i32 =
17-
Box::leak((0..2_u64).map(|_| <i32>::default()).collect::<Box<[i32]>>()).as_mut_ptr();
16+
let mut e: *mut i32 = Box::leak((0..2_u64).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
1817
(*e.offset((0) as isize)) = 6;
1918
(*e.offset((1) as isize)) = 7;
2019

tests/unit/out/unsafe/clone_vs_move.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,10 +22,10 @@ pub struct Foo {
2222
impl Default for Foo {
2323
fn default() -> Self {
2424
Foo {
25-
x: <i32>::default(),
25+
x: 0_i32,
2626
y: <*mut i32>::default(),
2727
z: Default::default(),
28-
a: [<i32>::default(); 3],
28+
a: [0_i32; 3],
2929
bar: <Bar>::default(),
3030
}
3131
}

tests/unit/out/unsafe/default.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ impl Default for Pointers {
2222
x2: Default::default(),
2323
x3: [Default::default(); 5],
2424
x4: [Default::default(); 10],
25-
x5: <i32>::default(),
25+
x5: 0_i32,
2626
}
2727
}
2828
}

tests/unit/out/unsafe/init.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ pub fn main() {
2020
}
2121
}
2222
unsafe fn main_0() -> i32 {
23-
let mut x: i32 = <i32>::default();
23+
let mut x: i32 = 0_i32;
2424
let mut p: *mut i32 = Default::default();
2525
let g: *mut i32 = &mut x as *mut i32;
2626
let mut q: *mut i32 = (&mut x as *mut i32);

0 commit comments

Comments
 (0)