Add fstat and termios safe rules

Author: lucic71

libcc2rs/src/libc_shims/termios.rs

@@ -48,6 +48,68 @@ impl Clone for Termios {
 
 impl ByteRepr for Termios {}
 
+impl Termios {
+    #[allow(clippy::unnecessary_cast)]
+    pub fn from_libc(t: &::libc::termios) -> Self {
+        let s = Self::default();
+        *s.c_iflag.borrow_mut() = t.c_iflag as u32;
+        *s.c_oflag.borrow_mut() = t.c_oflag as u32;
+        *s.c_cflag.borrow_mut() = t.c_cflag as u32;
+        *s.c_lflag.borrow_mut() = t.c_lflag as u32;
+        #[cfg(target_os = "linux")]
+        {
+            *s.c_line.borrow_mut() = t.c_line;
+        }
+        {
+            let mut cc = s.c_cc.borrow_mut();
+            let n = t.c_cc.len().min(cc.len());
+            cc[..n].copy_from_slice(&t.c_cc[..n]);
+        }
+        *s.c_ispeed.borrow_mut() = t.c_ispeed as u32;
+        *s.c_ospeed.borrow_mut() = t.c_ospeed as u32;
+        s
+    }
+
+    #[cfg(target_os = "linux")]
+    pub fn to_libc(&self) -> ::libc::termios {
+        ::libc::termios {
+            c_iflag: *self.c_iflag.borrow(),
+            c_oflag: *self.c_oflag.borrow(),
+            c_cflag: *self.c_cflag.borrow(),
+            c_lflag: *self.c_lflag.borrow(),
+            c_line: *self.c_line.borrow(),
+            c_cc: {
+                let mut cc = [0u8; 32];
+                let src = self.c_cc.borrow();
+                let n = src.len().min(cc.len());
+                cc[..n].copy_from_slice(&src[..n]);
+                cc
+            },
+            c_ispeed: *self.c_ispeed.borrow(),
+            c_ospeed: *self.c_ospeed.borrow(),
+        }
+    }
+
+    #[cfg(target_os = "macos")]
+    pub fn to_libc(&self) -> ::libc::termios {
+        ::libc::termios {
+            c_iflag: *self.c_iflag.borrow() as u64,
+            c_oflag: *self.c_oflag.borrow() as u64,
+            c_cflag: *self.c_cflag.borrow() as u64,
+            c_lflag: *self.c_lflag.borrow() as u64,
+            c_cc: {
+                let mut cc = [0u8; 20];
+                let src = self.c_cc.borrow();
+                let n = src.len().min(cc.len());
+                cc[..n].copy_from_slice(&src[..n]);
+                cc
+            },
+            c_ispeed: *self.c_ispeed.borrow() as u64,
+            c_ospeed: *self.c_ospeed.borrow() as u64,
+        }
+    }
+}
+
 #[derive(Default)]
 pub struct Winsize {
     pub ws_row: Value<u16>,

rules/stat/tgt_refcount.rs

@@ -20,6 +20,19 @@ fn f1(a0: Ptr<u8>, a1: Ptr<Stat>) -> i32 {
     }
 }
 
+fn f2(a0: i32, a1: Ptr<Stat>) -> i32 {
+    match FdRegistry::with_fd(a0, |__fd| nix::sys::stat::fstat(__fd)) {
+        Ok(__s) => {
+            a1.with_mut(|__st| *__st = Stat::from_libc(&__s));
+            0
+        }
+        Err(__e) => {
+            libcc2rs::cpp2rust_errno().write(__e as i32);
+            -1
+        }
+    }
+}
+
 fn f3(a0: Ptr<u8>, a1: ::libc::mode_t) -> i32 {
     match nix::unistd::mkdir(
         a0.to_rust_string().as_str(),

rules/termios/tgt_refcount.rs

@@ -10,3 +10,35 @@ fn t1() -> libcc2rs::Termios {
 fn t2() -> libcc2rs::Winsize {
     Default::default()
 }
+
+fn f1(a0: i32, a1: i32, a2: Ptr<Termios>) -> i32 {
+    let __action = match a1 {
+        0 => nix::sys::termios::SetArg::TCSANOW,
+        1 => nix::sys::termios::SetArg::TCSADRAIN,
+        2 => nix::sys::termios::SetArg::TCSAFLUSH,
+        __a => panic!("tcsetattr: unsupported action {__a}"),
+    };
+    let __t = nix::sys::termios::Termios::from(a2.with(|__src| __src.to_libc()));
+    match FdRegistry::with_fd(a0, |__fd| {
+        nix::sys::termios::tcsetattr(__fd, __action, &__t)
+    }) {
+        Ok(()) => 0,
+        Err(__e) => {
+            libcc2rs::cpp2rust_errno().write(__e as i32);
+            -1
+        }
+    }
+}
+
+fn f2(a0: i32, a1: Ptr<Termios>) -> i32 {
+    match FdRegistry::with_fd(a0, |__fd| nix::sys::termios::tcgetattr(__fd)) {
+        Ok(__t) => {
+            a1.with_mut(|__dst| *__dst = Termios::from_libc(&__t.into()));
+            0
+        }
+        Err(__e) => {
+            libcc2rs::cpp2rust_errno().write(__e as i32);
+            -1
+        }
+    }
+}