Add rules for open/read/write/close

Author: lucic71

rules/fcntl/tgt_refcount.rs

@@ -13,10 +13,19 @@ fn f1(a0: i32, a1: i32, va: &[VaArg]) -> i32 {
 }
 
 fn f2(a0: Ptr<u8>, a1: i32, va: &[VaArg]) -> i32 {
-    panic!(
-        "open is not supported in the refcount model (path={:?}, flags={}, varargs={})",
-        a0.to_rust_string(),
-        a1,
-        va.len()
-    )
+    let __mode = match va.first() {
+        Some(__m) => nix::sys::stat::Mode::from_bits_truncate(i32::get(__m) as ::libc::mode_t),
+        None => nix::sys::stat::Mode::empty(),
+    };
+    match nix::fcntl::open(
+        a0.to_rust_string().as_str(),
+        nix::fcntl::OFlag::from_bits_retain(a1),
+        __mode,
+    ) {
+        Ok(__ofd) => FdRegistry::register(__ofd),
+        Err(__e) => {
+            libcc2rs::cpp2rust_errno().write(__e as i32);
+            -1
+        }
+    }
 }

rules/unistd/tgt_refcount.rs

@@ -3,6 +3,23 @@
 
 use libcc2rs::*;
 
+fn f1(a0: i32) -> i32 {
+    FdRegistry::close(a0)
+}
+
+fn f3(a0: i32, a1: AnyPtr, a2: usize) -> isize {
+    match FdRegistry::with_fd(a0, |__fd| {
+        a1.reinterpret_cast::<u8>()
+            .with_slice_mut(a2, |__buf| nix::unistd::read(__fd, __buf))
+    }) {
+        Ok(__n) => __n as isize,
+        Err(__e) => {
+            libcc2rs::cpp2rust_errno().write(__e as i32);
+            -1
+        }
+    }
+}
+
 fn f4(a0: Ptr<u8>) -> i32 {
     match nix::unistd::unlink(a0.to_rust_string().as_str()) {
         Ok(()) => 0,
@@ -37,6 +54,19 @@ fn f9(a0: Ptr<u8>, a1: usize) -> i32 {
     }
 }
 
+fn f10(a0: i32, a1: AnyPtr, a2: usize) -> isize {
+    match FdRegistry::with_fd(a0, |__fd| {
+        a1.reinterpret_cast::<u8>()
+            .with_slice(a2, |__buf| nix::unistd::write(__fd, __buf))
+    }) {
+        Ok(__n) => __n as isize,
+        Err(__e) => {
+            libcc2rs::cpp2rust_errno().write(__e as i32);
+            -1
+        }
+    }
+}
+
 fn f11(a0: Ptr<u8>) -> i32 {
     match ::std::fs::remove_dir(a0.to_rust_string()) {
         Ok(()) => 0,