Skip to content

Commit 84face0

Browse files
committed
Update tests
1 parent 3c56d9b commit 84face0

30 files changed

Lines changed: 90 additions & 90 deletions

tests/benchmarks/out/unsafe/bfs.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -134,14 +134,14 @@ unsafe fn main_0() -> i32 {
134134
V: (V as u32),
135135
adj: Box::leak(
136136
(0..V)
137-
.map(|_| Default::default())
137+
.map(|_| std::ptr::null_mut())
138138
.collect::<Box<[*mut GraphNode]>>(),
139139
)
140140
.as_mut_ptr(),
141141
};
142142
let mut i: u32 = 0_u32;
143143
'loop_: while ((i as u64) < (V)) {
144-
(*graph.adj.offset((i) as isize)) = Default::default();
144+
(*graph.adj.offset((i) as isize)) = std::ptr::null_mut();
145145
i.prefix_inc();
146146
}
147147
let mut i: u32 = 0_u32;

tests/benchmarks/out/unsafe/bst.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ pub unsafe fn find_0(mut node: *mut node_t, mut value: i32) -> *mut node_t {
2929
} else if ((value) == ((*node).value)) {
3030
return node;
3131
}
32-
return Default::default();
32+
return std::ptr::null_mut();
3333
}
3434
pub unsafe fn insert_1(mut node: *mut node_t, mut new_node: *mut node_t) -> *mut node_t {
3535
if (node).is_null() {
@@ -58,17 +58,17 @@ pub fn main() {
5858
unsafe fn main_0() -> i32 {
5959
let N: i32 = 25000;
6060
let mut tree: *mut node_t = (Box::leak(Box::new(node_t {
61-
left: Default::default(),
62-
right: Default::default(),
61+
left: std::ptr::null_mut(),
62+
right: std::ptr::null_mut(),
6363
value: 0,
6464
})) as *mut node_t);
6565
let mut i: i32 = 0;
6666
'loop_: while ((i) < (N)) {
6767
(unsafe {
6868
let _node: *mut node_t = tree;
6969
let _new_node: *mut node_t = (Box::leak(Box::new(node_t {
70-
left: Default::default(),
71-
right: Default::default(),
70+
left: std::ptr::null_mut(),
71+
right: std::ptr::null_mut(),
7272
value: i,
7373
})) as *mut node_t);
7474
insert_1(_node, _new_node)

tests/ub/out/unsafe/ub2.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use std::io::{Read, Seek, Write};
77
use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
88
use std::rc::Rc;
99
pub unsafe fn null_0() -> *mut i32 {
10-
let mut p: *mut i32 = Default::default();
10+
let mut p: *mut i32 = std::ptr::null_mut();
1111
return p;
1212
}
1313
pub fn main() {

tests/ub/out/unsafe/ub4.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ pub fn main() {
1515
}
1616
}
1717
unsafe fn main_0() -> i32 {
18-
let mut out: *mut i32 = Default::default();
18+
let mut out: *mut i32 = std::ptr::null_mut();
1919
let mut x1: i32 = 1;
2020
if (x1 != 0) {
2121
let mut x2: i32 = -1_i32;

tests/ub/out/unsafe/ub5.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use std::io::{Read, Seek, Write};
77
use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
88
use std::rc::Rc;
99
pub unsafe fn null_0(mut p: *mut *mut i32) {
10-
(*p) = Default::default();
10+
(*p) = std::ptr::null_mut();
1111
}
1212
pub fn main() {
1313
unsafe {

tests/unit/out/unsafe/10_struct.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ pub fn main() {
3838
unsafe fn main_0() -> i32 {
3939
let mut g: Graph = Graph {
4040
V: 5_u32,
41-
adj: Default::default(),
41+
adj: std::ptr::null_mut(),
4242
};
4343
return 0;
4444
}

tests/unit/out/unsafe/bool_condition_logical.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ unsafe fn main_0() -> i32 {
4444
let mut zero: i32 = 0;
4545
let mut storage: i32 = 7;
4646
let mut p: *mut i32 = (&mut storage as *mut i32);
47-
let mut np: *mut i32 = Default::default();
47+
let mut np: *mut i32 = std::ptr::null_mut();
4848
let mut u: u32 = 4_u32;
4949
let mut code: Code = Code::CODE_OK;
5050
if (n != 0) && (!(p).is_null()) {
@@ -124,7 +124,7 @@ unsafe fn main_0() -> i32 {
124124
assert!(true);
125125
}
126126
let mut cp: *const u8 = b"hi\0".as_ptr();
127-
let mut cnp: *const u8 = Default::default();
127+
let mut cnp: *const u8 = std::ptr::null();
128128
if ((x) > (y)) && (!(cp).is_null()) {
129129
assert!(true);
130130
}

tests/unit/out/unsafe/bool_condition_logical_c.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ unsafe fn main_0() -> i32 {
4444
let mut zero: i32 = 0;
4545
let mut storage: i32 = 7;
4646
let mut p: *mut i32 = (&mut storage as *mut i32);
47-
let mut np: *mut i32 = Default::default();
47+
let mut np: *mut i32 = std::ptr::null_mut();
4848
let mut u: u32 = 4_u32;
4949
let mut code: Code = Code::from((Code::CODE_OK as i32));
5050
if ((((n != 0) && (!(p).is_null())) as i32) != 0) {
@@ -134,7 +134,7 @@ unsafe fn main_0() -> i32 {
134134
assert!((1 != 0));
135135
}
136136
let mut cp: *const u8 = b"hi\0".as_ptr().cast_mut().cast_const();
137-
let mut cnp: *const u8 = Default::default();
137+
let mut cnp: *const u8 = std::ptr::null();
138138
if (((((((x) > (y)) as i32) != 0) && (!(cp).is_null())) as i32) != 0) {
139139
assert!((1 != 0));
140140
}

tests/unit/out/unsafe/bool_condition_ptr.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ pub fn main() {
1414
unsafe fn main_0() -> i32 {
1515
let mut storage: i32 = 7;
1616
let mut p: *mut i32 = (&mut storage as *mut i32);
17-
let mut np: *mut i32 = Default::default();
17+
let mut np: *mut i32 = std::ptr::null_mut();
1818
if !(p).is_null() {
1919
assert!(true);
2020
}
@@ -31,7 +31,7 @@ unsafe fn main_0() -> i32 {
3131
let mut iters: i32 = 0;
3232
'loop_: while !(iter).is_null() {
3333
iters.prefix_inc();
34-
iter = Default::default();
34+
iter = std::ptr::null_mut();
3535
}
3636
assert!(((iters) == (1)));
3737
let mut t3: i32 = if !(p).is_null() { 1 } else { 0 };

tests/unit/out/unsafe/bool_condition_ptr_c.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ pub fn main() {
1414
unsafe fn main_0() -> i32 {
1515
let mut storage: i32 = 7;
1616
let mut p: *mut i32 = (&mut storage as *mut i32);
17-
let mut np: *mut i32 = Default::default();
17+
let mut np: *mut i32 = std::ptr::null_mut();
1818
if !(p).is_null() {
1919
assert!((1 != 0));
2020
}
@@ -31,7 +31,7 @@ unsafe fn main_0() -> i32 {
3131
let mut iters: i32 = 0;
3232
'loop_: while !(iter).is_null() {
3333
iters.prefix_inc();
34-
iter = Default::default();
34+
iter = std::ptr::null_mut();
3535
}
3636
assert!(((((iters) == (1)) as i32) != 0));
3737
let mut t3: i32 = if !(p).is_null() { 1 } else { 0 };

0 commit comments

Comments
 (0)