Skip to content

Commit 9a72cba

Browse files
lucic71lucic71
committed
Update tests
1 parent d553aa8 commit 9a72cba

2 files changed

Lines changed: 0 additions & 170 deletions

File tree

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

Lines changed: 0 additions & 124 deletions
Original file line numberDiff line numberDiff line change
@@ -138,129 +138,5 @@ fn main_0() -> i32 {
138138
} == 0) as i32)
139139
!= 0)
140140
);
141-
let fds: Value<Box<[i32]>> = Rc::new(RefCell::new(
142-
(0..2).map(|_| <i32>::default()).collect::<Box<[i32]>>(),
143-
));
144-
assert!(
145-
(((match nix::unistd::pipe() {
146-
Ok((__r, __w)) => {
147-
let __fds = (fds.as_pointer() as Ptr<i32>).clone();
148-
__fds.write(FdRegistry::register(__r));
149-
__fds.offset(1).write(FdRegistry::register(__w));
150-
0
151-
}
152-
Err(__e) => {
153-
libcc2rs::cpp2rust_errno().write(__e as i32);
154-
-1
155-
}
156-
} == 0) as i32)
157-
!= 0)
158-
);
159-
assert!(
160-
(((match FdRegistry::with_fd((*fds.borrow())[(1) as usize], |__fd| {
161-
Ptr::from_string_literal(b"ab")
162-
.to_any()
163-
.reinterpret_cast::<u8>()
164-
.with_slice(2_usize, |__buf| nix::unistd::write(__fd, __buf))
165-
}) {
166-
Ok(__n) => __n as isize,
167-
Err(__e) => {
168-
libcc2rs::cpp2rust_errno().write(__e as i32);
169-
-1
170-
}
171-
} == 2_isize) as i32)
172-
!= 0)
173-
);
174-
let buf2: Value<Box<[u8]>> = Rc::new(RefCell::new(
175-
(0..4).map(|_| <u8>::default()).collect::<Box<[u8]>>(),
176-
));
177-
{
178-
((buf2.as_pointer() as Ptr<u8>) as Ptr<u8>)
179-
.to_any()
180-
.memset((0) as u8, ::std::mem::size_of::<[u8; 4]>() as usize);
181-
((buf2.as_pointer() as Ptr<u8>) as Ptr<u8>).to_any().clone()
182-
};
183-
assert!(
184-
(((match FdRegistry::with_fd((*fds.borrow())[(0) as usize], |__fd| {
185-
((buf2.as_pointer() as Ptr<u8>) as Ptr<u8>)
186-
.to_any()
187-
.reinterpret_cast::<u8>()
188-
.with_slice_mut(::std::mem::size_of::<[u8; 4]>(), |__buf| {
189-
nix::unistd::read(__fd, __buf)
190-
})
191-
}) {
192-
Ok(__n) => __n as isize,
193-
Err(__e) => {
194-
libcc2rs::cpp2rust_errno().write(__e as i32);
195-
-1
196-
}
197-
} == 2_isize) as i32)
198-
!= 0)
199-
);
200-
assert!(
201-
((({
202-
let mut __it1 = (buf2.as_pointer() as Ptr<u8>).to_c_string_iterator();
203-
let mut __it2 = Ptr::from_string_literal(b"ab").to_c_string_iterator();
204-
loop {
205-
let __c1 = __it1.next();
206-
let __c2 = __it2.next();
207-
if __c1 != __c2 {
208-
break (__c1.unwrap_or(0) as i32) - (__c2.unwrap_or(0) as i32);
209-
}
210-
if __c1.is_none() {
211-
break 0;
212-
}
213-
}
214-
} == 0) as i32)
215-
!= 0)
216-
);
217-
assert!((((FdRegistry::close((*fds.borrow())[(1) as usize]) == 0) as i32) != 0));
218-
assert!(
219-
(((match FdRegistry::with_fd((*fds.borrow())[(0) as usize], |__fd| {
220-
((buf2.as_pointer() as Ptr<u8>) as Ptr<u8>)
221-
.to_any()
222-
.reinterpret_cast::<u8>()
223-
.with_slice_mut(::std::mem::size_of::<[u8; 4]>(), |__buf| {
224-
nix::unistd::read(__fd, __buf)
225-
})
226-
}) {
227-
Ok(__n) => __n as isize,
228-
Err(__e) => {
229-
libcc2rs::cpp2rust_errno().write(__e as i32);
230-
-1
231-
}
232-
} == 0_isize) as i32)
233-
!= 0)
234-
);
235-
assert!((((FdRegistry::close((*fds.borrow())[(0) as usize]) == 0) as i32) != 0));
236-
let s: Value<i32> = Rc::new(RefCell::new({
237-
let __family = match libc::AF_INET {
238-
::libc::AF_INET => nix::sys::socket::AddressFamily::Inet,
239-
::libc::AF_INET6 => nix::sys::socket::AddressFamily::Inet6,
240-
::libc::AF_UNIX => nix::sys::socket::AddressFamily::Unix,
241-
__d => panic!("socket: unsupported domain {__d}"),
242-
};
243-
let __flags = nix::sys::socket::SockFlag::from_bits_truncate(libc::SOCK_STREAM);
244-
let __ty = match libc::SOCK_STREAM & !nix::sys::socket::SockFlag::all().bits() {
245-
::libc::SOCK_STREAM => nix::sys::socket::SockType::Stream,
246-
::libc::SOCK_DGRAM => nix::sys::socket::SockType::Datagram,
247-
__t => panic!("socket: unsupported type {__t}"),
248-
};
249-
let __proto = match 0 {
250-
0 => None,
251-
::libc::IPPROTO_TCP => Some(nix::sys::socket::SockProtocol::Tcp),
252-
::libc::IPPROTO_UDP => Some(nix::sys::socket::SockProtocol::Udp),
253-
__p => panic!("socket: unsupported protocol {__p}"),
254-
};
255-
match nix::sys::socket::socket(__family, __ty, __flags, __proto) {
256-
Ok(__ofd) => FdRegistry::register(__ofd),
257-
Err(__e) => {
258-
libcc2rs::cpp2rust_errno().write(__e as i32);
259-
-1
260-
}
261-
}
262-
}));
263-
assert!(((((*s.borrow()) >= 0) as i32) != 0));
264-
assert!((((FdRegistry::close((*s.borrow())) == 0) as i32) != 0));
265141
return 0;
266142
}

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

Lines changed: 0 additions & 46 deletions
Original file line numberDiff line numberDiff line change
@@ -66,51 +66,5 @@ unsafe fn main_0() -> i32 {
6666
);
6767
assert!(((((libc::close(fd)) == (0)) as i32) != 0));
6868
assert!(((((libc::unlink(path)) == (0)) as i32) != 0));
69-
let mut fds: [i32; 2] = [0_i32; 2];
70-
assert!(((((libc::pipe(fds.as_mut_ptr())) == (0)) as i32) != 0));
71-
assert!(
72-
((((libc::write(
73-
fds[(1) as usize],
74-
(c"ab".as_ptr().cast_mut() as *const libc::c_char as *const ::libc::c_void),
75-
2_usize
76-
)) == (2_isize)) as i32)
77-
!= 0)
78-
);
79-
let mut buf2: [libc::c_char; 4] = [(0 as libc::c_char); 4];
80-
{
81-
let byte_0 = (buf2.as_mut_ptr() as *mut libc::c_char as *mut ::libc::c_void) as *mut u8;
82-
for offset in 0..::std::mem::size_of::<[libc::c_char; 4]>() {
83-
*byte_0.offset(offset as isize) = 0 as u8;
84-
}
85-
(buf2.as_mut_ptr() as *mut libc::c_char as *mut ::libc::c_void)
86-
};
87-
assert!(
88-
((((libc::read(
89-
fds[(0) as usize],
90-
(buf2.as_mut_ptr() as *mut libc::c_char as *mut ::libc::c_void),
91-
::std::mem::size_of::<[libc::c_char; 4]>()
92-
)) == (2_isize)) as i32)
93-
!= 0)
94-
);
95-
assert!(
96-
((((libc::strcmp(
97-
(buf2.as_mut_ptr()).cast_const(),
98-
(c"ab".as_ptr().cast_mut()).cast_const()
99-
)) == (0)) as i32)
100-
!= 0)
101-
);
102-
assert!(((((libc::close(fds[(1) as usize])) == (0)) as i32) != 0));
103-
assert!(
104-
((((libc::read(
105-
fds[(0) as usize],
106-
(buf2.as_mut_ptr() as *mut libc::c_char as *mut ::libc::c_void),
107-
::std::mem::size_of::<[libc::c_char; 4]>()
108-
)) == (0_isize)) as i32)
109-
!= 0)
110-
);
111-
assert!(((((libc::close(fds[(0) as usize])) == (0)) as i32) != 0));
112-
let mut s: i32 = libc::socket(libc::AF_INET, libc::SOCK_STREAM, 0);
113-
assert!(((((s) >= (0)) as i32) != 0));
114-
assert!(((((libc::close(s)) == (0)) as i32) != 0));
11569
return 0;
11670
}

0 commit comments

Comments
 (0)