Skip to content

Commit 006ed07

Browse files
committed
Revert "Restructure tests to avoid future conflicts"
This reverts commit 0cadc91.
1 parent 23a43ad commit 006ed07

18 files changed

Lines changed: 184 additions & 620 deletions

‎tests/unit/fd_io.c‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
#include <assert.h>
22
#include <fcntl.h>
33
#include <string.h>
4+
#include <sys/socket.h>
45
#include <unistd.h>
56

67
int main(void) {
@@ -18,5 +19,18 @@ int main(void) {
1819
assert(read(fd, buf, sizeof(buf)) == 0);
1920
assert(close(fd) == 0);
2021
assert(unlink(path) == 0);
22+
int fds[2];
23+
assert(pipe(fds) == 0);
24+
assert(write(fds[1], "ab", 2) == 2);
25+
char buf2[4];
26+
memset(buf2, 0, sizeof(buf2));
27+
assert(read(fds[0], buf2, sizeof(buf2)) == 2);
28+
assert(strcmp(buf2, "ab") == 0);
29+
assert(close(fds[1]) == 0);
30+
assert(read(fds[0], buf2, sizeof(buf2)) == 0);
31+
assert(close(fds[0]) == 0);
32+
int s = socket(AF_INET, SOCK_STREAM, 0);
33+
assert(s >= 0);
34+
assert(close(s) == 0);
2135
return 0;
2236
}

‎tests/unit/isatty.c‎

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎tests/unit/lseek_ftruncate.c‎

Lines changed: 0 additions & 22 deletions
This file was deleted.

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

Lines changed: 124 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -138,5 +138,129 @@ 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));
141265
return 0;
142266
}

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

Lines changed: 0 additions & 49 deletions
This file was deleted.

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

Lines changed: 0 additions & 110 deletions
This file was deleted.

0 commit comments

Comments
 (0)